References

1. Alan R. Anderson & Nuel D. Belnap (1975): Entailment. The Logic of Relevance and Necessity. Vol. 1. Princeton University Press.
2. Alexander V. Chagrov & Michael Zakharyaschev (1997): Modal Logic. Oxford logic guides 35. Oxford University Press.
3. Max Cresswell (1972): The completeness of S1 and some related systems.. Notre Dame Journal of Formal Logic 13(4), pp. 485 – 496, doi:10.1305/ndjfl/1093890710.
4. Max Cresswell & George H. Hughes (1996): A New Introduction to Modal Logic. Routledge, doi:10.4324/9780203028100.
5. James Garson (2021): Modal Logic. In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy, Summer 2021 edition. Metaphysics Research Lab, Stanford University. Available at <https://plato.stanford.edu/archives/sum2021/entries/logic-modal/>.
6. Guido Gherardi & Eugenio Orlandelli (2021): Super-strict implications. Bulletin of the Section of Logic 50(1), pp. 1–34, doi:10.18778/0138-0680.2021.02.
7. Saul A. Kripke (1965): Semantical analysis of modal logic II. Non-normal modal propositional calculi. In: John W. Addison, Leon Enkin & Alfred Tarski: The Theory of Models, Studies in Logic and the Foundations of Mathematics. North-Holland, pp. 206–220, doi:10.1016/B978-0-7204-2233-7.50026-5.
8. Edward J. Lemmon (1957): New foundations for Lewis modal systems. Journal of Symbolic Logic 22(2), pp. 176186, doi:10.2307/2964179.
9. Clarence I. Lewis (1918): Survey of Symbolic Logic. University of California Press.
10. Clarence I. Lewis & Cooper H. Langford (1932): Symbolic Logic. Century Co New York.
11. Edwin Mares & Francesco Paoli (2019): C.I. Lewis, E.J. Nelson, and the Modern Origins of Connexive Logic. Organon F 26, pp. 405–426, doi:10.31577/orgf.2019.26304.
12. Sara Negri (2005): Proof analysis in modal logic. Journal of Philosophical Logic 34, pp. 507–544, doi:10.1007/s10992-005-2267-3.
13. Everett J. Nelson (1930): Intensional relations. Mind 39, pp. 440–453, doi:10.1093/mind/XXXIX.156.440.
14. Sergei Odintsov, Daniel Skurt & Heinrich Wansing (2021): Connexive variants of modal logics over FDE. In: Ofer Arieli & Anna Zamansky: Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, Outstanding Contributions to Logic. Springer, Cham, pp. 295–318, doi:10.1007/978-3-030-71258-7_13.
15. Masao Ohnishi (1961): Gentzen decision procedures for Lewis's systems S2 and S3. Osaka Mathematical Journal 13(1), pp. 125–137, doi:10.18910/4163.
16. Claudio Pizzi & Timothy Williamson (1997): Strong BoethiusThesis and Consequential Implication. Journal of Philosophical Logic 26, pp. 569–588, doi:10.1023/A:1004230028063.
17. Willard V. O. Quine (1951): Mathematical Logic (revised edition). Cambridge: Harvard University Press, doi:10.4159/9780674042469.
18. Eric Raidl (2020): Strengthened Conditionals. In: Beishui Liao & Yì N. Wáng: Context, Conflict and Reasoning. Springer Singapore, pp. 139–155, doi:10.1007/978-981-15-7134-3_11.
19. Helena Rasiowa (1974): An Algebraic Approach to Non-classical Logics. Elsevier.
20. Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady (1982): Relevant Logics and Their Rivals. Ridgeview.
21. Matteo Tesi (2021): Labelled sequent calculi for Lewis' non-normal propositional modal logics. Studia Logica 109(4), pp. 725–757, doi:10.1007/s11225-020-09924-z.
22. Elias Thijsse & Heinrich Wansing (1996): A fugue on the themes of awareness logic and correspondence. Journal of Applied Non-Classical Logics 6(2), pp. 127–136, doi:10.1080/11663081.1996.10510874.
23. Alfred N. Whitehead & Bertrand A. W. Russell (1927): Principia Mathematica; 2nd ed.. Cambridge Univ. Press, Cambridge. Available at https://cds.cern.ch/record/268025.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org