Relational extensions of Tarski and Thomason dualities are constructed to relate bisimulations between frames to relations between predicates in infinitary classical logics.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
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
-
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.