Duality and the completeness of the modal -calculus

DOI10.1016/0304-3975(95)00045-XMaRDI QIDQ671986zbMATH OpenOpenAlexFDO

Authors Simon J. Ambler, Marta Kwiatkowska, Nicholas Measor

Publication date 27 February 1997

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

Full work available at URL https://doi.org/10.1016/0304-3975(95)00045-x

zbMATH Keywords

fixed pointsmonotone operatorsmodal \(\mu\)-calculusproof systemscategory of descriptive modal frames with contractionscategory of modal algebras with homomorphismsfinitary modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other algebras related to logic (03G25) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1555174
• Duality for modal \(\mu\)-logics
• Completeness for \(\mu\)-calculi: a coalgebraic approach
• Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
• scientific article; zbMATH DE number 7297836

Cites work

• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 3960988 (Why is no real title available?)
• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 3756452 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3554259 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• A finite model theorem for the propositional \(\mu\)-calculus
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Domain theory in logical form
• Duality beyond sober spaces: Topological spaces and observation frames
• Fixed point theorems and semantics: A folk tale
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• Results on the propositional \(\mu\)-calculus
• Topology and duality in modal logic

Cited in

(15)

• Dualities for modal algebras from the point of view of triples
• Topologies, Continuity and Bisimulations
• Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
• Sahlqvist theorem for modal fixed point logic
• Leo Esakia on duality in modal and intuitionistic logics
• An approach to infinitary temporal proof theory
• Duality for modal \(\mu\)-logics
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)
• Duality between modal algebras and neighbourhood frames
• Games for topological fixpoint logic
• scientific article; zbMATH DE number 3916229 (Why is no real title available?)
• On the equational definition of the least prefixed point.
• scientific article; zbMATH DE number 1555174 (Why is no real title available?)
• Changing a Semantics: Opportunism or Courage?

This page was built for publication: Duality and the completeness of the modal \(\mu\)-calculus

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