The following pages link to Unified Correspondence (Q5249695):
Displayed 20 items.
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms (Q3298274) (← links)
- Tracking Information (Q3305434) (← links)
- (Q3384065) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- (Q4625704) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
- (Q5109523) (← links)
- (Q5119388) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Logic and Probabilistic Update (Q5249676) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)