Sahlqvist theorem for modal fixed point logic

DOI10.1016/J.TCS.2011.11.026MaRDI QIDQ418010zbMATH OpenOpenAlexFDO

Authors Nick Bezhanishvili, Ian Hodkinson

Publication date 14 May 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.11.026

zbMATH Keywords

completenesscorrespondencedescriptive framemodal mu-calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Sahlqvist preservation for topological fixed-point logic
• Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
• Completeness for flat modal fixpoint logics
• A new proof of Sahlqvist's theorem on modal definability and completeness
• Completeness for Flat Modal Fixpoint Logics

Cites work

• A new proof of Sahlqvist's theorem on modal definability and completeness
• Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
• An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees
• Completeness for flat modal fixpoint logics
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Completions of -algebras
• Duality and the completeness of the modal -calculus
• Duality for modal \(\mu\)-logics
• Elementary canonical formulae: extending Sahlqvist's theorem
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 1303431 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 1989654 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• Minimal predicates, fixed-points, and definability
• Modal frame correspondences and fixed-points
• Modal logic
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
• Results on the propositional \(\mu\)-calculus
• Sahlqvist correspondence for modal mu-calculus
• Topology and duality in modal logic
• Vietoris bisimulations

Cited in

(10)

• Axiomatizing fixpoint logics
• Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
• A Sahlqvist theorem for relevant modal logics
• Modal frame correspondences and fixed-points
• Sahlqvist preservation for topological fixed-point logic
• Changing a Semantics: Opportunism or Courage?
• Completeness for Flat Modal Fixpoint Logics
• Sahlqvist correspondence for modal mu-calculus
• Games for topological fixpoint logic
• scientific article; zbMATH DE number 6302894 (Why is no real title available?)

This page was built for publication: Sahlqvist theorem for modal fixed point logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q418010)