South American Journal of Logic
Volume 4, Issue 2, December 2018

1. Preface: Proceedings of the XVIII Brazilian Logic Conference
Jonas R. Becker Arenhart, Hugo L. Mariano, Wagner C. Sanz and Daniel Ventura
Department of Philosophy, Federal University of Santa Catarina (UFSC), Florianõpolis, SC, Brazil; Department of Mathematics, University of São Paulo, São Paulo, SP, Brazil; Faculty of Philosophy, Federal University of Goiás (UFG), Goiania, GO, Brazil and Institute of Informatics, Federal University of Goiás (UFG), Goiania, GO, Brazil.

2. Finitary Filter Pairs and Propositional Logics
Peter Arndt, Hugo L. Mariano and Darllan C. Pinto
Department of Mathematics, University of Düsseldorf, Düsseldorf, Germany; Department of Mathematics, University of São Paulo, São Paulo, SP, Brazil and Department of Mathematics, Federal University of Bahia (UFBA), Salvador, BA, Brazil

3. Dolev-Yao Multi-Agent Epistemic Logic
Mario R. F. Benevides, Luiz C. F. Fernandez, and Anna C. C. M. de Oliveira
Department of Computer Science (Institute of Mathematics) and Systems Engineering and Computer cience Program (Coppe), Federal University of Rio de Janeiro (UFRJ) Rio de Janeiro, RJ, Brazil

4. Classifying Toposes for Some Theories of C-8-Rings
Jean Cerqueira Berni and Hugo Luiz Mariano
Department of Mathematics, University of São Paulo, São Paulo, SP, Brazil

5. More on Categorial Forms of the Axiom of Choice
Andreas B. M. Brunner, Hugo L. Mariano, Darllan C. Pinto and Samuel G. da Silva
Department of Mathematics, Federal University of Bahia (UFBA), Salvador, BA, Brazil and Department of Mathematics, University of São Paulo, São Paulo, SP, Brazil

6. Remarks on Expansions of the Real Field: Tameness, Hardy Fields and Smooth Rings
Rodrigo Figueiredo and Hugo L. Mariano
Department of Mathematics, University of São Paulo, São Paulo, SP, Brazil

7. On the Uncomputability of Partial Meet Contraction for Linear-Time Temporal Logic
Paulo T. Guerra and Renata Wassermann
Federal University of Ceará (UFC), Quixadá, Ceará, Brazil and Institute of Mathematics and Statistics, University of São Paulo, São Paulo, SP, Brazil

8. Analyzing Categories of Signatures
Caio A. Mendes and Hugo L. Mariano
Institute of Mathematics and Statistics, University of São Paulo, São Paulo, SP, Brazil

9. On Rings of Fractions of Reduced f-Rings by Non Zero-Divisors
Francisco Miraglia
Institute of Mathematics and Statistics, University of São Paulo, São Paulo, SP, Brazil

10. Explicit Computational Paths
Arthur F. Ramos, Ruy. J. G. B. de Queiroz, Anjolina G. de Oliveira and Tiago M. L. de Veras
Centre of Informmatics, Federal University of Pernambuco, Recife, PE, Brazil

11. End of the Square?
Fabien Schang
Faculty of Philosophy, Federal University of Goiás (UFG), Goiania, GO, Brazil