Bisimulation for weakly expressive coalgebraic modal logics

DOI10.4230/LIPICS.CALCO.2017.4MaRDI QIDQ4580199zbMATH OpenOpenAlexFDO

Authors Zeinab Bakhtiari, Hansen Helle Hvid

Publication date 13 August 2018

Full work available at URL https://doi.org/10.4230/LIPIcs.CALCO.2017.4

zbMATH Keywords

expressivenessbisimulationcoalgebraic modal logicHennessy-Milner theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Expressiveness modulo bisimilarity: a coalgebraic perspective
• Simulations and bisimulations for coalgebraic modal logics
• Modal logics for observation equivalences
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• Expressive logics for coalgebras via terminal sequence induction

Cited in

(11)

• Bisimulation for Neighbourhood Structures
• scientific article; zbMATH DE number 7471679 (Why is no real title available?)
• Expressivity of quantitative modal logics categorical foundations via codensity and approximation
• Stone duality for relations
• Coalgebraic Geometric Logic: Basic Theory
• scientific article; zbMATH DE number 7649890 (Why is no real title available?)
• Weakly expressive models for Hoare logic
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• Expressiveness modulo bisimilarity: a coalgebraic perspective
• Modal logics for observation equivalences
• (Metric) bisimulation games and real-valued modal logics for coalgebras

This page was built for publication: Bisimulation for weakly expressive coalgebraic modal logics

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