On the Contingency of Logic in Possible World Semantics
Iris van der Giessen, Joost J. Joosten, Paul Mayaux, Vicent Navarro Arroyo

TL;DR
This paper explores how different logical systems can coexist in possible world semantics by introducing mixed models, revealing that the valid formulas align with an extended intuitionistic modal logic.
Contribution
It introduces mixed models combining classical and intuitionistic logic in possible world semantics and characterizes their valid formulas with an extended intuitionistic modal logic.
Findings
Valid formulas correspond to $ extsf{iK} + extsf{bem}$ logic.
Established soundness and completeness for mixed models.
Linked mixed models to birelational models for the logic.
Abstract
This paper investigates the contingency of logic within the framework of possible world semantics. Possible world semantics captures the meaning of necessitation, i.e., a statement is necessarily true if it holds in all possible worlds. Standard Kripkean semantics assumes that all possible worlds are governed by one single logic. We relax this assumption and introduce mixed models, in which different worlds may obey different logical systems. The paper provides a first case study where we mix classical propositional logic () and intuitionistic propositional logic () in the possible world semantics. We define the class of mixed models , together with a subclass of concrete mixed models (), and establish their semantic properties. Our main result shows that the set of formulas valid in…
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.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Semantic Web and Ontologies · Multi-Agent Systems and Negotiation
