activity
20162026
most citedGuarded Cubical Type Theory: Path Equality for Guarded Recursion

8 citations · 10 across the 5 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 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…