3 papers
cs.LO2026
Embedding Modal Logics into Logics of Bunched Implications
Daniele Sansoni, Ranald Clouston
We present a new proof of the embedding of the classical modal logic S4 into the logic of Boolean Bunched Implications (BBI). While the original proof is semantical, this proof is…
math.LO2026
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
Jim de Groot, Ian Shillito, Ranald Clouston
We carry out a semantic study of the constructive modal logic CK. We provide a categorical duality linking the algebraic and birelational semantics of the logic. We then use this t…
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…