Reasoning about Joint Action and Coalitional Ability in K n with Intersection (Q3092300): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3748269
@@ Property / cites work: Q3748269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694250
@@ Property / cites work: Q4694250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking propositional dynamic logic with all extras
+Normal rank
@@ Property / cites work @@
+A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
+Normal rank
@@ Property / cites work @@
+Q4430407
@@ Property / cites work: Q4430407 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+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