The Freedoms of (Guarded) Bisimulation

DOI10.1007/978-3-319-06025-5_1zbMath1344.03024OpenAlexW1929404437MaRDI QIDQ5249664

Martin Otto, Erich Grädel

Publication date: 11 May 2015

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2011/3216/

zbMATH Keywords

bisimulationmodal logicsguarded logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (6)

Unnamed Item ⋮ SOME MODEL THEORY OF GUARDED NEGATION ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources ⋮ Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment ⋮ Logical separability of labeled data examples under ontologies ⋮ Semiring Provenance for Guarded Logics

This page was built for publication: The Freedoms of (Guarded) Bisimulation