A categorical duality links algebraic and birelational semantics for constructive modal logic CK, enabling Sahlqvist correspondence, completeness, and Goldblatt-Thomason definability theorems.
Birkhoff
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 3verdicts
UNVERDICTED 3roles
background 1polarities
background 1representative citing papers
Most properties including Kripke completeness, finite model property, and decidability are undecidable for transitive tense logics in NExt(K4t).
Earlier definitions of equivalence relations, Cauchy sequences, and metric spaces were replaced but could usefully be revived according to this historical analysis.
citing papers explorer
-
Most Properties are Undecidable for Transitive Tense Logics
Most properties including Kripke completeness, finite model property, and decidability are undecidable for transitive tense logics in NExt(K4t).