Intuitionistic and Constructive Modal Logics for Classical Modal Logicians
This paper gives a survey of propositional modal logic in an intuitionistic setting. Mainly intended for readers already familiar with classical modal logic, we discuss why there are two prominent families of such logics, intuitionistic modal logics (IMLs) and constructive modal logics (CMLs), what motivates their study, and how they compare with each other. We then take a look at the logics lying between the CML and IML traditions, and survey various extensions and $\Diamond$/$\Box$-free fragments. We further record several observations which seem to be implicit or absent in the literature;…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.29708
curl -X POST /api/v1/records/arxiv/2608.29708/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.29708/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'