Simulations and Bisimulations for Coalgebraic Modal Logics
From MaRDI portal
Publication:2848953
DOI10.1007/978-3-642-40206-7_19zbMath1394.68250arXiv1303.2467OpenAlexW2963084494MaRDI QIDQ2848953
Publication date: 13 September 2013
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1303.2467
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30)
Related Items (9)
Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence ⋮ Unnamed Item ⋮ Enhanced coalgebraic bisimulation ⋮ Completeness for \(\mu\)-calculi: a coalgebraic approach ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
This page was built for publication: Simulations and Bisimulations for Coalgebraic Modal Logics
