South American Journal of Logic
Volume 3, Issue 1, July 2017

1. Necessity, a Leibnizian Thesis, and a Dialogical Semantics
Mohammad Shafie
Institute of History and Philosophy of Science and Technology (IHPST) University of Paris 1 Panthéon-Sorbonne, France

2. Logical Analysis of Cyber Vulnerability and Protection
Esther David, Dov Gabbay, Guy Leshem and Students of CS Ashkelon
Department of Computer Science Ashkelon Academic college Ashkelon, Israel and Department of Computer Science, Faculty of Exact Sciences Bar-Ilan University Ramat-Gan, Israel

3. A 4-valued Logic of Strong Conditional
Fabien Schang
Department of Philosophy Federal University of Goiás, Goiânia - GO, Brazil

4. Is Dialetheism Self-Coherent?
Jonas R. Becker Arenhart and Ederson Safra Melo
Department of Philosophy Federal University of Santa Catarina (UFSC) Florianópolis, SC, Brazil and Department of Philosophy Federal University of Maranhão (UFMA) São Luís, MA, Brazil

5. Remarks on Propositional Logics and the Categorial Relationship Between Institutions and Π-Institutions
Darllan Conceição Pinto and Hugo Luiz Mariano
Institute of Mathematics Federal University of Bahia (UFBA), Salvador, BA, Brazil and Institute of Mathematics and Statistics University of São Paulo (USP), São Paulo, SP, Brazil

6. On Extensions of Isomorphisms of Substructures
Edelcio G. de Souza and Alexandre A. M. Rodrigues
Department of Philosophy University of São Paulo (USP). São Paulo, SP and Institute of Mathematics and Statistics University of São Paulo (USP), São Paulo, SP, Brazil Brazil

7. Free (n + 1)-valued Modal Implicative Semilattices
María Cristina Canals Frau, Aldo V. Figallo and Gustavo Pelaitay
Instituto de Ciencias Básicas Universidad Nacional de San Juan San Juan, Argentina

8. A Brief Testimony of the Unforgettable Presence of Gilles-Gaston Granger in the Philosophy of Brazil
Arley R. Moreno
Department of Philosophy Institute of Philosophy and the Humanities (IFCH) State University of Campinas (UNICAMP), Campinas, Brazil

9. Quantified Counterfactual Temporal Alethic-Deontic Logic
Daniel Rönnedal
Department of Philosophy Stockholm University, Sweden

10. How May the Propositional Calculus Represent?
Tristan Haze
Tristan Haze Department of Philosophy The University of Sydney, Australia