Continuous Fragment of the mu-Calculus
From MaRDI portal
Publication:3540176
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)