Bisimulation for Weakly Expressive Coalgebraic Modal Logics.

DOI10.4230/LIPIcs.CALCO.2017.4zbMath1433.68231OpenAlexW2775578497MaRDI QIDQ4580199

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

bisimulationexpressivenesscoalgebraic modal logicHennessy-Milner theorem

Mathematics Subject Classification ID

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

Related Items (3)

Coalgebraic Geometric Logic: Basic Theory ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Bisimulation for Weakly Expressive Coalgebraic Modal Logics.