activity
20232026
most citedSemantical Analysis of Intuitionistic Modal Logics between CK and IK

1 citations · 2 across the 8 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

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…

math.LO2025

Bi-intuitionistic logics through the abstract algebraic logic lens

Jonte Deakin, Ian Shillito

Since the discovery of critical mistakes in Rauszer's work on bi-intuitionistic logics, solid foundations for these have progressively been rebuilt. However, the algebraic treatmen…