The Logic of Public Announcements, Common Knowledge, and Private Suspicions (Q2971701): Difference between revisions

@@ Property / cites work @@
+Proof-theoretic analysis of termination proofs
@@ Property / cites work: Proof-theoretic analysis of termination proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+Normal rank
@@ Property / cites work @@
+An elementary proof of the completeness of PDL
@@ Property / cites work: An elementary proof of the completeness of PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank