_1 and the modal -calculus

DOI10.4230/LIPICS.CSL.2017.38zbMATH Open1434.03070MaRDI QIDQ5111208FDOQ5111208

Authors: Luigi Santocanale, Maria João Gouveia 

Publication date: 26 May 2020

Recommendations

• \(\aleph_1\) and the modal \(\mu\)-calculus
• On closure ordinals for the modal \(\mu\)-calculus
• Continuous Fragment of the mu-Calculus
• Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
• On the expressivity of the modal mu-calculus

zbMATH Keywords

continuous functionordinal summodal \(\mu\)-calculusclosure ordinal\(\omega_1\)regular cardinal\(\aleph_1\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Ordinal and cardinal numbers (03E10)

Cited In (7)

• The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals
• Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
• On closure ordinals for the modal \(\mu\)-calculus
• \(\aleph_1\) and the modal \(\mu\)-calculus
• The Calkin algebra is \(\aleph_1\)-universal
• Filtration and canonical completeness for continuous modal \(\mu\)-calculi
• Continuous Fragment of the mu-Calculus

This page was built for publication: \(\aleph_1\) and the modal \(\mu\)-calculus

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