3 papers
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.CR2024
Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin
Di Long Li, Jim de Groot, Alwen Tiu
Automated security protocol verifiers such as ProVerif and Tamarin have been increasingly applied to verify large scale complex real-world protocols. While their ability to automat…
cs.LO2020
Logic-Induced Bisimulations
Jim de Groot, Helle Hvid Hansen, Alexander Kurz
We define a new logic-induced notion of bisimulation (called -bisimulation) for coalgebraic modal logics given by a logical connection, and investigate its properties. We show t…