A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222): Difference between revisions

@@ Property / cites work @@
+Tableaux for Relation-Changing Modal Logics
@@ Property / cites work: Tableaux for Relation-Changing Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+From DEL to EDL: Exploring the Power of Converse Events
+Normal rank
@@ Property / cites work @@
+Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic Displayed
@@ Property / cites work: Dynamic Epistemic Logic Displayed / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic with branching temporal structures
+Normal rank
@@ Property / cites work @@
+Expressivity and completeness for public update logics via reduction axioms
+Normal rank
@@ Property / cites work @@
+Mathematics of Public Announcements
@@ Property / cites work: Mathematics of Public Announcements / rank @@
+Normal rank
@@ Property / cites work @@
+A General Framework for Modal Correspondence in Dynamic Epistemic Logic
+Normal rank
@@ Property / cites work @@
+Epistemic Updates on Algebras
@@ Property / cites work: Epistemic Updates on Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal languages for epistemic programs
@@ Property / cites work: Temporal languages for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for update products and steps into the past
@@ Property / cites work: Logic for update products and steps into the past / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic for belief revision
@@ Property / cites work: Dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Two Logical Faces of Belief Revision
@@ Property / cites work: Two Logical Faces of Belief Revision / rank @@
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic of preference upgrade
@@ Property / cites work: Dynamic logic of preference upgrade / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logics of evidence-based beliefs
@@ Property / cites work: Dynamic logics of evidence-based beliefs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648829
@@ Property / cites work: Q4648829 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Connecting dynamic epistemic and temporal epistemic logics
+Normal rank
@@ Property / cites work @@
+On axiomatizations of public announcement logic
@@ Property / cites work: On axiomatizations of public announcement logic / rank @@
+Normal rank
@@ Property / cites work @@
+Acts of Commanding and Changing Obligations
@@ Property / cites work: Acts of Commanding and Changing Obligations / rank @@
+Normal rank