Intuitionistic modal logics: a minimal setting
Philippe Balbiani, \c{C}igdem Gencer

TL;DR
This paper introduces a new minimal intuitionistic modal logic that is a subset of IK, aiming to serve as the simplest normal intuitionistic modal logic.
Contribution
It defines a minimal intuitionistic modal logic within the broader IK framework, filling a gap in the logical landscape.
Findings
The logic is strictly contained in IK.
It is a candidate for the minimal normal intuitionistic modal logic.
Abstract
We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionistic modal logic''.
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 · Multi-Agent Systems and Negotiation · Semantic Web and Ontologies
