Intuitionistic monotone modal logic via translation
Abstract
Abstract We introduce a monotone modal analogue of the intuitionistic (normal) modal logic $\textsf{IK}$ using a translation into a suitable (intuitionistic) first-order logic. We axiomatize the logic and give a semantics by means of intuitionistic neighbourhood models, which contain neighbourhoods whose value can change when moving along the intuitionistic accessibility relation. We compare the resulting logic with other intuitionistic monotone modal logics and show how it can be embedded into a multimodal version of $\textsf{IK}$.
Fields of Study & Subjects
Logic
Reasoning
and Knowledge
Multi-Agent Systems and Negotiation
programming
and type systems
Publication details
- Journal / source
- Journal of Logic and Computation
- Volume
- 36
- Issue
- 4
- Publication date
- 31 March 2026
- Language
- EN