Fundamental logic embeds fully and faithfully into orthological S4 and intuitionistic KTB via GMT and Goldblatt translations, with intuitionistic logic embedding into modal fundamental logic.
Title resolution pending
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
years
2026 4verdicts
UNVERDICTED 4representative citing papers
Étale-finite Heyting algebras arise exactly as the subterminal lattices of finitely propositional elementary toposes, via categories of compact étale spaces constructed with Esakia duality.
Relational extensions of Tarski and Thomason dualities are constructed to relate bisimulations between frames to relations between predicates in infinitary classical logics.
A categorical duality links algebraic and birelational semantics for constructive modal logic CK, enabling Sahlqvist correspondence, completeness, and Goldblatt-Thomason definability theorems.
citing papers explorer
-
Fundamental Logic Through the Lens of Modality
Fundamental logic embeds fully and faithfully into orthological S4 and intuitionistic KTB via GMT and Goldblatt translations, with intuitionistic logic embedding into modal fundamental logic.
-
A topos for \'etale-finite Heyting algebras
Étale-finite Heyting algebras arise exactly as the subterminal lattices of finitely propositional elementary toposes, via categories of compact étale spaces constructed with Esakia duality.
-
Relational Dualities and Bisimulation
Relational extensions of Tarski and Thomason dualities are constructed to relate bisimulations between frames to relations between predicates in infinitary classical logics.
-
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
A categorical duality links algebraic and birelational semantics for constructive modal logic CK, enabling Sahlqvist correspondence, completeness, and Goldblatt-Thomason definability theorems.