Expressivity and completeness for public update logics via reduction axioms (Q3647272): Difference between revisions

@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional belief base update and minimal change
+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 @@
+Changing Modalities
@@ Property / cites work: Changing Modalities / 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 @@
+The secret of my success
@@ Property / cites work: The secret of my success / rank @@
+Normal rank