Logic-Induced Bisimulations

MaRDI QIDQ6347471arXivFDO

Authors Jim de Groot, Helle Hvid Hansen, Alexander Kurz

Publication date 20 August 2020

Published in arXiv

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

arXiv classification

cs.LOmath.LO

Abstract: We define a new logic-induced notion of bisimulation (called $ho$-bisimulation) for coalgebraic modal logics given by a logical connection, and investigate its properties. We show that it is structural in the sense that it is defined only in terms of the coalgebra structure and the one-step modal semantics and, moreover, can be characterised by a form of relation lifting. Furthermore we compare $ho$-bisimulations to several well-known equivalence notions, and we prove that the collection of bisimulations between two models often forms a complete lattice. The main technical result is a Hennessy-Milner type theorem which states that, under certain conditions, logical equivalence implies $ho$-bisimilarity. In particular, the latter does emph{not} rely on a duality between functors $mathsfT$ (the type of the coalgebras) and $mathsfL$ (which gives the logic), nor on properties of the logical connection $ho$.

This page was built for publication: Logic-Induced Bisimulations

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