Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using coalgebras and the Giry monad for interpreting game logics -- a tutorial |
scientific article |
Statements
Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (English)
0 references
22 January 2019
0 references
coalgebras
0 references
modal logics
0 references
monads
0 references
Giry monad
0 references
upper closed monad
0 references
composition of monads
0 references
game logics
0 references
