329 citations · 374 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
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…