Intuitionistic modal logics: a minimal setting
Logic
2025-02-27 v1 Logic in Computer Science
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''.
Keywords
Cite
@article{arxiv.2502.19060,
title = {Intuitionistic modal logics: a minimal setting},
author = {Philippe Balbiani and Çigdem Gencer},
journal= {arXiv preprint arXiv:2502.19060},
year = {2025}
}