Non-Normal Super-Strict Implications
Guido Gherardi (Department of Philosophy, Communication Studies,, University of Bologna), Eugenio Orlandelli (Department of Philosophy and, Communication Studies, University of Bologna)
TL;DR
This paper explores super-strict implications within non-normal modal logics S2 and S3, demonstrating their weak connexivity through Kripke semantics, thus advancing understanding of non-normal modal logic properties.
Contribution
It introduces the semantics of super-strict implications based on non-normal modal logics and proves their weak connexivity, addressing an open question from prior research.
Findings
Super-strict implications are weakly connexive.
Kripke semantics effectively models these implications.
Advances understanding of non-normal modal logic properties.
Abstract
This paper introduces the logics of super-strict implications that are based on C.I. Lewis' non-normal modal logics S2 and S3. The semantics of these logics is based on Kripke's semantics for non-normal modal logics. This solves a question we left open in a previous paper by showing that these logics are weakly connexive.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.