_1 and the modal -calculus

DOI10.4230/LIPICS.CSL.2017.38MaRDI QIDQ5111208zbMATH OpenFDO

Authors Luigi Santocanale, Maria João Gouveia

Publication date 26 May 2020

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)

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

Cited in

(7)

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