Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-24130-7_6
+Normal rank
@@ Property / OpenAlex ID @@
+W165460221
@@ Property / OpenAlex ID: W165460221 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Q5494230
@@ Property / cites work: Q5494230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477946
@@ Property / cites work: Q5477946 / 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 @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of pure provability
@@ Property / cites work: The modal logic of pure provability / rank @@
+Normal rank
@@ Property / cites work @@
+The Russian cards problem
@@ Property / cites work: The Russian cards problem / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The secret of my success
@@ Property / cites work: The secret of my success / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Should knowledge entail belief?
@@ Property / cites work: Should knowledge entail belief? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419888
@@ Property / cites work: Q5419888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904054
@@ Property / cites work: Q2904054 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity and completeness for public update logics via reduction axioms
+Normal rank
@@ Property / cites work @@
+Two-dimensional modal logic
@@ Property / cites work: Two-dimensional modal logic / rank @@
+Normal rank