Arbitrary arrow update logic (Q343913): Difference between revisions

@@ Property / cites work @@
+Group announcement logic
@@ Property / cites work: Group announcement logic / rank @@
+Normal rank
@@ Property / cites work @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+Quantified epistemic logics for reasoning about knowledge in multi-agent systems
+Normal rank
@@ Property / cites work @@
+What one may come to know
@@ Property / cites work: What one may come to know / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement modal logic
@@ Property / cites work: Refinement modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifying Notes
@@ Property / cites work: Quantifying Notes / rank @@
+Normal rank
@@ Property / cites work @@
+Hidden protocols: modifying our expectations in an evolving world
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of arbitrary arrow update logic
+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 @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Q4473080
@@ Property / cites work: Q4473080 / rank @@
+Normal rank
@@ Property / cites work @@
+ARROW UPDATE LOGIC
@@ Property / cites work: ARROW UPDATE LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+How Arbitrary Are Arbitrary Public Announcements?
@@ Property / cites work: How Arbitrary Are Arbitrary Public Announcements? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4245762
@@ Property / cites work: Q4245762 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+Safety, liveness and fairness in temporal logic
@@ Property / cites work: Safety, liveness and fairness in temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a theory of intention revision
@@ Property / cites work: Towards a theory of intention revision / rank @@
+Normal rank