$\aleph_1$ and the modal $\mu$-calculus
From MaRDI portal
Publication:4972732
zbMath1454.03027arXiv1704.03772MaRDI QIDQ4972732
Luigi Santocanale, Maria João Gouveia
Publication date: 26 November 2019
Full work available at URL: https://arxiv.org/abs/1704.03772
continuous functionregular cardinalordinal summodal mu-calculusclosure ordinalaleph\(_1\)omega\(_1\)
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Inductive definability (03D70)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Games for the \(\mu\)-calculus
- Results on the propositional \(\mu\)-calculus
- Completions of \(\mu \)-algebras
- On the proof theory of the modal mu-calculus
- Independent propositional modal logics
- Fixed point theorems and semantics: A folk tale
- Elementary induction on abstract structures
- The modal mu-calculus alternation hierarchy is strict
- Tools and techniques in modal logic
- On the canonicity of Sahlqvist identities
- Simulation and transfer results in modal logic -- a survey
- Many-dimensional modal logics: theory and applications
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- A lattice-theoretical fixpoint theorem and its applications
- On closure ordinals for the modal mu−calculus
- The mu-calculus and Model Checking
- Continuous Fragment of the mu-Calculus
- The modalμ-calculus hierarchy over restricted classes of transition systems
- Global inductive definability
- Decomposition theorems and model-checking for the modal μ -calculus
- A new proof of Sahlqvist's theorem on modal definability and completeness
- μ-Bicomplete Categories and Parity Games
- Deciding parity games in quasipolynomial time
- Computer Aided Verification
- Rudiments of \(\mu\)-calculus
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
This page was built for publication: $\aleph_1$ and the modal $\mu$-calculus
