Q3384080 (Q3384080): Difference between revisions

@@ Property / cites work @@
+Group announcement logic
@@ Property / cites work: Group announcement logic / 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 @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+Refinement modal logic
@@ Property / cites work: Refinement modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Arbitrary arrow update logic
@@ Property / cites work: Arbitrary arrow update logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636038
@@ Property / cites work: Q4636038 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086938
@@ Property / cites work: Q3086938 / rank @@
+Normal rank
@@ Property / cites work @@
+Arbitrary Action Model Logic and Action Model Synthesis
+Normal rank
@@ Property / cites work @@
+ARROW UPDATE LOGIC
@@ Property / cites work: ARROW UPDATE LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank