(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras

DOI10.4230/LIPIcs.CONCUR.2018.37OpenAlexW2810752651MaRDI QIDQ5009455

Christina Mika-Michalski, Barbara König

Publication date: 4 August 2021

Full work available at URL: https://arxiv.org/abs/1705.10165

zbMATH Keywords

modal logiccoalgebrabisimulation gamesbehavioural metricsspoiler-defender games

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (10)

Expressiveness of probabilistic modal logics: a gradual approach ⋮ Kantorovich functors and characteristic logics for behavioural distances ⋮ Explainability of probabilistic bisimilarity distances for labelled Markov chains ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ Unnamed Item ⋮ A quantified coalgebraic van Benthem theorem ⋮ Unnamed Item ⋮ Hausdorff coalgebras ⋮ Unnamed Item ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metrics for labelled Markov processes
• Coalgebraic logic
• Universal coalgebra: A theory of systems
• A behavioural pseudometric for probabilistic transition systems
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Expressivity of coalgebraic modal logic: the limits and beyond
• Approximating and computing behavioural distances in probabilistic transition systems
• Simulations and Bisimulations for Coalgebraic Modal Logics
• Relating Coalgebraic Notions of Bisimulation
• On the Complexity of Computing Probabilistic Bisimilarity
• Behavioral Metrics via Functor Lifting
• Presentation of Set Functors: A Coalgebraic Perspective
• Finitary Functors: From Set to Preord and Poset
• Generalized Bisimulation Metrics
• Automata for Coalgebras: An Approach Using Predicate Liftings
• Terminal Sequence Induction via Games
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Bisimulation, modal logic and model checking games
• A van Benthem Theorem for Fuzzy Modal Logic
• Optimal Transport

This page was built for publication: (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras