Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
By: Jim de Groot, Ian Shillito, Ranald Clouston
Potential Business Impact:
Makes computer logic understand math rules better.
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 to prove Sahlqvist style correspondence and completeness results, as well as a Goldblatt-Thomason style theorem on definability of classes of frames.
Similar Papers
Paraconsistent Constructive Modal Logic
Logic in Computer Science
Helps computers think about things that are both true and false.
Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
Logic in Computer Science
Makes logic puzzles work with fewer rules.
A General (Uniform) Relational Semantics for Sentential Logics
Logic in Computer Science
Makes many different logic systems work the same.