A stochastic interpretation of game logic (Q516033): Difference between revisions

@@ Property / cites work @@
+Q4003461
@@ Property / cites work: Q4003461 / rank @@
+Normal rank
@@ Property / cites work @@
+Three problems of Aronszajn in measure theory
@@ Property / cites work: Three problems of Aronszajn in measure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for non-deterministic labelled Markov processes
+Normal rank
@@ Property / cites work @@
+Q3002401
@@ Property / cites work: Q3002401 / rank @@
+Normal rank
@@ Property / cites work @@
+A stochastic interpretation of propositional dynamic logic: expressivity
+Normal rank
@@ Property / cites work @@
+Algebraic properties of stochastic effectivity functions
+Normal rank
@@ Property / cites work @@
+Special Topics in Mathematics for Computer Scientists
+Normal rank
@@ Property / cites work @@
+Towards a Probabilistic Interpretation of Game Logic
+Normal rank
@@ Property / cites work @@
+Stochastic non-determinism and effectivity functions
+Normal rank
@@ Property / cites work @@
+Q5343895
@@ Property / cites work: Q5343895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction Systems for Coalgebras Over Measurable Spaces
+Normal rank
@@ Property / cites work @@
+Topological proofs of some Rasiowa-Sikorski lemmas
+Normal rank
@@ Property / cites work @@
+The basic algebra of game equivalences
@@ Property / cites work: The basic algebra of game equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726943
@@ Property / cites work: Q5726943 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom of choice
@@ Property / cites work: Axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599448
@@ Property / cites work: Q5599448 / rank @@
+Normal rank
@@ Property / cites work @@
+Dagger categories of tame relations
@@ Property / cites work: Dagger categories of tame relations / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of choice
@@ Property / cites work: The axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and descriptive set theory
@@ Property / cites work: Topology and descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332693
@@ Property / cites work: Q3332693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / 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 @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
+Normal rank
@@ Property / cites work @@
+Q4396494
@@ Property / cites work: Q4396494 / 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 @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of game algebras
@@ Property / cites work: Representation of game algebras / rank @@
+Normal rank