Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3099652317
@@ Property / OpenAlex ID: W3099652317 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00280
@@ Property / arXiv ID: 1701.00280 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Special Topics in Mathematics for Computer Scientists
+Normal rank
@@ Property / cites work @@
+Algebraic properties of stochastic effectivity functions
+Normal rank
@@ Property / cites work @@
+A stochastic interpretation of game logic
@@ Property / cites work: A stochastic interpretation of game logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3002401
@@ Property / cites work: Q3002401 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic for stochastic right coalgebras
@@ Property / cites work: Coalgebraic logic for stochastic right coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4396494
@@ Property / cites work: Q4396494 / rank @@
+Normal rank
@@ Property / cites work @@
+Unprovability of the logical characterization of bisimulation
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-pullbacks and bisimulation in categories of Markov processes
+Normal rank
@@ Property / cites work @@
+Semi-pullbacks for stochastic relations over analytic spaces
+Normal rank
@@ Property / cites work @@
+Q4449236
@@ Property / cites work: Q4449236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346126
@@ Property / cites work: Q3346126 / rank @@
+Normal rank
@@ Property / cites work @@
+Game logic -- an overview
@@ Property / cites work: Game logic -- an overview / rank @@
+Normal rank
@@ Property / cites work @@
+Logic games are complete for game logics
@@ Property / cites work: Logic games are complete for game logics / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction Systems for Coalgebras Over Measurable Spaces
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+Bisimulations for non-deterministic labelled Markov processes
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1712599