scientific article; zbMATH DE number 7204330

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

Luigi Santocanale, Maria João Gouveia

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

zbMATH Keywords

continuous functionmodal \(\mu\)-calculusregular cardinalordinal sumclosure ordinal\(\omega_1\)\(\aleph_1\)

Mathematics Subject Classification ID

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

Related Items (3)

The Calkin algebra is \(\aleph_1\)-universal ⋮ The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals ⋮ Title not available (Why is that?)

This page was built for publication:

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