Duality and the completeness of the modal -calculus
DOI10.1016/0304-3975(95)00045-XzbMATH Open0872.03010OpenAlexW2080427861MaRDI QIDQ671986FDOQ671986
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
Recommendations
fixed pointsmonotone operatorsmodal \(\mu\)-calculusproof systemscategory of descriptive modal frames with contractionscategory of modal algebras with homomorphismsfinitary modal logic
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)
Cites Work
- Title not available (Why is that?)
- Domain theory in logical form
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A finite model theorem for the propositional \(\mu\)-calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Results on the propositional \(\mu\)-calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Topology and duality in modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An incomplete logic containing S4
- An incompleteness theorem in modal logic
- Fixed point theorems and semantics: A folk tale
- Title not available (Why is that?)
- Duality beyond sober spaces: Topological spaces and observation frames
- Proof systems for satisfiability in Hennessy-Milner logic with recursion
Cited In (14)
- Dualities for modal algebras from the point of view of triples
- Topologies, Continuity and Bisimulations
- Sahlqvist theorem for modal fixed point logic
- Leo Esakia on duality in modal and intuitionistic logics
- Title not available (Why is that?)
- An approach to infinitary temporal proof theory
- Duality for modal \(\mu\)-logics
- Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- Duality between modal algebras and neighbourhood frames
- Title not available (Why is that?)
- On the equational definition of the least prefixed point.
- Title not available (Why is that?)
- 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)
