Expressivity of quantitative modal logics categorical foundations via codensity and approximation

DOI10.1109/LICS52264.2021.9470656MaRDI QIDQ6651966zbMATH OpenFDO

Authors

Publication date 11 December 2024

Full work available at URL https://doi.org/10.1109/LICS52264.2021.9470656

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Recommendations

• Exemplaric Expressivity of Modal Logics
• Expressivity of coalgebraic modal logic: the limits and beyond
• Foundations of Software Science and Computational Structures
• On a categorical framework for coalgebraic modal logic
• Bisimulation for weakly expressive coalgebraic modal logics

Cited in

(6)

• Relational connectors and heterogeneous simulations
• Expressive quantale-valued logics for coalgebras: an adjunction-based approach
• Composing codensity bisimulations
• Correspondences between codensity and coupling-based liftings, a practical approach
• Quantitative graded semantics and spectra of behavioural metrics
• Generalized Kantorovich-Rubinstein duality beyond Hausdorff and Kantorovich

This page was built for publication: Expressivity of quantitative modal logics categorical foundations via codensity and approximation

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