Alternating-Time Temporal Announcement Logic (Q3092297): Difference between revisions

@@ Property / cites work @@
+Group announcement logic
@@ Property / cites work: Group announcement logic / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
+Normal rank
@@ Property / cites work @@
+Regression in Modal Logic
@@ Property / cites work: Regression in Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086938
@@ Property / cites work: Q3086938 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatization and decidability of alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic logic of agency. I: STIT, capabilities and powers
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about responsibility
@@ Property / cites work: A logic for reasoning about responsibility / 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 @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank