Continuous Fragment of the mu-Calculus

DOI10.1007/978-3-540-87531-4_12zbMATH Open1156.03325OpenAlexW1600071783MaRDI QIDQ3540176FDOQ3540176

Gaëlle Fontaine

Publication date: 20 November 2008

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87531-4_12

Recommendations

• Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
• \(\aleph_1\) and the modal \(\mu\)-calculus
• \(\aleph_1\) and the modal \(\mu\)-calculus
• Syntactic cut-elimination for a fragment of the modal mu-calculus
• Results on the propositional \(\mu\)-calculus

zbMATH Keywords

automatamu-calculusScott continuitypreservation resultsconstructive fixpoints

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Logic in computer science (03B70) Continuous lattices and posets, applications (06B35)

Cites Work

• Model theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata for the modal μ-calculus and related results
• Modal frame correspondences and fixed-points
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Modal Fixed-Point Logic and Changing Models
• Characterizations of negative definability in modal logic

Cited In (7)

• Syntactic cut-elimination for a fragment of the modal mu-calculus
• Local Model Checking in a Logic for True Concurrency
• Filtration and canonical completeness for continuous modal \(\mu\)-calculi
• The Proof Theory of Common Knowledge
• SMALL INFINITARY EPISTEMIC LOGICS
• $\aleph_1$ and the modal $\mu$-calculus
• Title not available (Why is that?)

This page was built for publication: Continuous Fragment of the mu-Calculus

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