Q3384067 (Q3384067): Difference between revisions

@@ Property / cites work @@
+Group announcement logic
@@ Property / cites work: Group announcement logic / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Games and Coalitional Abilities
@@ Property / cites work: Knowledge Games and Coalitional Abilities / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of quantified announcements
@@ Property / cites work: The undecidability of quantified announcements / rank @@
+Normal rank
@@ Property / cites work @@
+Putting right the wording and the proof of the Truth Lemma for<i>APAL</i>
+Normal rank
@@ Property / cites work @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Quantifying Notes
@@ Property / cites work: Quantifying Notes / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising the logic of computer programming
@@ Property / cites work: Axiomatising the logic of computer programming / 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 @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Temporal Logic
@@ Property / cites work: Dynamic Epistemic Temporal Logic / rank @@
+Normal rank