Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Intuitionistic Monotone Modal Logic: Proof Theory and Semantics
Tiziano Dalmonte, Jim de Groot
We study the recently introduced intuitionistic monotone modal logic IM. We first provide a semantic characterisation for a family of natural extensions of IM in terms of construct…
cs.LO2025
Semantical Analysis of Intuitionistic Modal Logics between CK and IK
Jim de Groot, Ian Shillito, Ranald Clouston
The intuitionistic modal logics considered between Constructive K (CK) and Intuitionistic K (IK) differ in their treatment of the possibility (diamond) connective. It was recently…