Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Intelligent Agents and Multi-Agent Systems
@@ Property / cites work: Intelligent Agents and Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency Preservation and Crazy Formulas in BMS
+Normal rank
@@ Property / cites work @@
+Global and Local Graph Modifiers
@@ Property / cites work: Global and Local Graph Modifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Agents that look at one another
@@ Property / cites work: Agents that look at one another / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419869
@@ Property / cites work: Q5419869 / 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 @@
+Announcements to attentive agents
@@ Property / cites work: Announcements to attentive agents / rank @@
+Normal rank
@@ Property / cites work @@
+AGM 25 years. Twenty-five years of research in belief change
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636294
@@ Property / cites work: Q4636294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236367
@@ Property / cites work: Q4236367 / rank @@
+Normal rank
@@ Property / cites work @@
+A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
+Normal rank
@@ Property / cites work @@
+How to share knowledge by gossiping
@@ Property / cites work: How to share knowledge by gossiping / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemology Without Knowledge and Without Belief
@@ Property / cites work: Epistemology Without Knowledge and Without Belief / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity and completeness for public update logics via reduction axioms
+Normal rank
@@ Property / cites work @@
+ARROW UPDATE LOGIC
@@ Property / cites work: ARROW UPDATE LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel interpolation, splitting, and relevance in belief change
+Normal rank
@@ Property / cites work @@
+Q4180316
@@ Property / cites work: Q4180316 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge in multiagent systems
@@ Property / cites work: Knowledge in multiagent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518818
@@ Property / cites work: Q4518818 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramification and causality
@@ Property / cites work: Ramification and causality / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494230
@@ Property / cites work: Q5494230 / 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 @@
+McCarthy variations in a modal key
@@ Property / cites work: McCarthy variations in a modal key / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking for Dynamic Epistemic Logic
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptions of game actions
@@ Property / cites work: Descriptions of game actions / rank @@
+Normal rank
@@ Property / cites work @@
+Prolegomena to dynamic logic for belief revision
@@ Property / cites work: Prolegomena to dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+From Situation Calculus to Dynamic Epistemic Logic
+Normal rank
@@ Property / cites work @@
+Q5296759
@@ Property / cites work: Q5296759 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Composing models
@@ Property / cites work: Composing models / rank @@
+Normal rank
@@ Property / cites work @@
+On axiomatizations of public announcement logic
@@ Property / cites work: On axiomatizations of public announcement logic / rank @@
+Normal rank