Terminating Tableaux for Dynamic Epistemic Logics (Q3185765): Difference between revisions

@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Termination for Hybrid Tableaus
@@ Property / cites work: Termination for Hybrid Tableaus / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau-based Decision Procedures for Hybrid Logic
+Normal rank
@@ Property / cites work @@
+Expressivity and completeness for public update logics via reduction axioms
+Normal rank
@@ Property / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / 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 @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank