Reasoning about Strategies (Q4922091): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal 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 @@
+Q5404483
@@ Property / cites work: Q5404483 / rank @@
+Normal rank
@@ Property / cites work @@
+Game Solution, Epistemic Dynamics and Fixed-Point Logics
+Normal rank
@@ Property / cites work @@
+Modelling simultaneous games in dynamic logic
@@ Property / cites work: Modelling simultaneous games in dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic of preference upgrade
@@ Property / cites work: Dynamic logic of preference upgrade / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509047
@@ Property / cites work: Q3509047 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Neighbourhood Structures: Bisimilarity and Basic Model Theory
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346126
@@ Property / cites work: Q3346126 / rank @@
+Normal rank