Reasoning about Strategies (Q4922091): Difference between revisions

@@ Property / author @@
+J. F. A. K. van Benthem
@@ Property / author: J. F. A. K. van Benthem / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-38164-5_23
+Normal rank
@@ Property / OpenAlex ID @@
+W2110750971
@@ Property / OpenAlex ID: W2110750971 / rank @@
+Normal rank
@@ 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