Continuous Fragment of the mu-Calculus

DOI10.1007/978-3-540-87531-4_12MaRDI QIDQ3540176zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Automata for the modal \(\mu \)-calculus and related results
• Characterizations of negative definability in modal logic
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Modal Fixed-Point Logic and Changing Models
• Modal frame correspondences and fixed-points
• Model theory

Cited in

(8)

• \(\aleph_1\) and the modal \(\mu\)-calculus
• \(\aleph_1\) and the modal \(\mu\)-calculus
• Filtration and canonical completeness for continuous modal \(\mu\)-calculi
• Local model checking in a logic for true concurrency
• Syntactic cut-elimination for a fragment of the modal mu-calculus
• Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
• The proof theory of common knowledge
• Small infinitary epistemic logics

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)