REVIEW 1 cited by
Two-dimensional Kripke Semantics II: Stability and Completeness
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
We revisit the duality between Kripke and algebraic semantics of intuitionistic and intuitionistic modal logic. We find that there is a certain mismatch between the two semantics, which means that not all algebraic models can be embedded into a Kripke model. This leads to an alternative proposal for a relational semantics, the stable semantics. Instead of an arbitrary partial order, the stable semantics requires a distributive lattice of worlds. We constructively show that the stable semantics is exactly as complete as the algebraic semantics. Categorifying these results leads to a 2-duality between two-dimensional stable semantics and categories of product-preserving presheaves, i.e. models of algebraic theories in the style of Lawvere.
Forward citations
Cited by 1 Pith paper
-
Bicategories of algebras for relative pseudomonads
For each relative pseudomonad T, the paper builds a terminal bicategory of T-pseudoalgebras, embeds the Kleisli bicategory into it, and characterizes pseudoalgebras for free cocompletion pseudomonads as cocomplete categories.
Discussion (0). Continue with ORCID to comment.