Modelling simultaneous games in dynamic logic (Q1024134): Difference between revisions

@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of indeterminacy of games
@@ Property / cites work: Degrees of indeterminacy of games / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel action: Concurrent dynamic logic with independent modalities
+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 @@
+Bisimulation for Neighbourhood Structures
@@ Property / cites work: Bisimulation for Neighbourhood Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+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 @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396588
@@ Property / cites work: Q3396588 / rank @@
+Normal rank
@@ Property / cites work @@
+Modality, bisimulation and interpolation in infinitary logic
+Normal rank
@@ Property / cites work @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Extensive games as process models
@@ Property / cites work: Extensive games as process models / 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 @@
+Q3367284
@@ Property / cites work: Q3367284 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hypothetical Reasoning Algorithm for Linguistic Analysis
+Normal rank
@@ Property / cites work @@
+Representation of game algebras
@@ Property / cites work: Representation of game algebras / rank @@
+Normal rank