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…