**South American Journal of Logic **

Volume 4, Issue 2, December 2018

**
Table of contents **

**
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