Continuous Fragment of the mu-Calculus

DOI10.1007/978-3-540-87531-4_12zbMath1156.03325OpenAlexW1600071783MaRDI QIDQ3540176

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) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Continuous lattices and posets, applications (06B35)

Related Items (6)

$\aleph_1$ and the modal $\mu$-calculus ⋮ Local Model Checking in a Logic for True Concurrency ⋮ The Proof Theory of Common Knowledge ⋮ Syntactic cut-elimination for a fragment of the modal mu-calculus ⋮ SMALL INFINITARY EPISTEMIC LOGICS ⋮ Unnamed Item

Cites Work

• Model theory
• Characterizations of negative definability in modal logic
• Modal frame correspondences and fixed-points
• Automata for the modal μ-calculus and related results
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Modal Fixed-Point Logic and Changing Models
• Unnamed Item
• Unnamed Item
• Unnamed Item

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