Pages that link to "Item:Q4731170"
From MaRDI portal
The following pages link to A new proof of Sahlqvist's theorem on modal definability and completeness (Q4731170):
Displaying 31 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- (Q3121529) (← links)
- The McKinsey axiom is not canonical (Q3984429) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- Canonical formulas for K4. Part III: the finite model property (Q4372915) (← links)
- (Q4625704) (← links)
- Cylindric modal logic (Q4842635) (← links)
- Branching-time logic with quantification over branches: The point of view of modal logic (Q4879898) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- (Q5101337) (← links)
- (Q5119388) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)
- (Q5376651) (← links)
- Positive modal logic beyond distributivity (Q6179826) (← links)
