A new proof of Sahlqvist's theorem on modal definability and completeness
From MaRDI portal
Publication:4731170
DOI10.2307/2274758zbMath0682.03009OpenAlexW2111082593MaRDI QIDQ4731170
Virginia Vaccaro, Giovanni Sambin
Publication date: 1989
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274758
Related Items
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras, $\aleph_1$ and the modal $\mu$-calculus, The McKinsey axiom is not canonical, Derivation rules as anti-axioms in modal logic, Constructive canonicity in non-classical logics, Algebraic modal correspondence: Sahlqvist and beyond, Cylindric modal logic, Temporal logic of surjective bounded morphisms between finite linear processes, Squares in fork arrow logic, Sahlqvist theorem for modal fixed point logic, Positive modal logic beyond distributivity, Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}, Sahlqvist correspondence for modal mu-calculus, Foreword to the special issue dedicated to the memory of Leo Esakia, Mathematical modal logic: A view of its evolution, Branching-time logic with quantification over branches: The point of view of modal logic, On canonicity of poset expansions, CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS, Canonical formulas for K4. Part III: the finite model property, Positive monotone modal logic, Unnamed Item, Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators, A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC, A Sahlqvist theorem for distributive modal logic, Algorithmic correspondence and canonicity for non-distributive logics, Elementary canonical formulae: extending Sahlqvist's theorem, Unnamed Item, The bounded proof property via step algebras and step frames, Unnamed Item, Unnamed Item, Unnamed Item, Canonical Extensions, Esakia Spaces, and Universal Models
Cites Work
