Pages that link to "Item:Q454371"
From MaRDI portal
The following pages link to Sahlqvist correspondence for modal mu-calculus (Q454371):
Displaying 10 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- General Models and Completeness of First-Order Modal -calculus (Q3520232) (← links)
- KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
- (Q4625704) (← links)
- Two Logical Faces of Belief Revision (Q4982661) (← links)
