(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455)
From MaRDI portal
scientific article; zbMATH DE number 7378581
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras |
scientific article; zbMATH DE number 7378581 |
Statements
4 August 2021
0 references
coalgebra
0 references
bisimulation games
0 references
spoiler-defender games
0 references
behavioural metrics
0 references
modal logic
0 references
0 references
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (English)
0 references
