7 citations · 12 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024★ 1 cited
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…
cs.LO2021★ 2 cited
A Coalgebraic Approach to Dualities for Neighborhood Frames
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
We develop a uniform coalgebraic approach to Jónsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras. In the first part of t…