Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic (Q3299577): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-62864-6_8
+Normal rank
@@ Property / OpenAlex ID @@
+W2397494983
@@ Property / OpenAlex ID: W2397494983 / rank @@
+Normal rank
@@ Property / cites work @@
+My beliefs about your beliefs: a case study in theory of mind and epistemic logic
+Normal rank
@@ Property / cites work @@
+Private announcement and belief expansion: an internal perspective
+Normal rank
@@ Property / cites work @@
+Logic and social cognition. The facts matter, and so do computational models
+Normal rank
@@ Property / cites work @@
+Strategic reasoning: building cognitive models from logical formulas
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Q4648829
@@ Property / cites work: Q4648829 / 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 @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Q5296759
@@ Property / cites work: Q5296759 / rank @@
+Normal rank
@@ Property / cites work @@
+Listen to Me! Public Announcements to Agents That Pay Attention — or Not
+Normal rank
@@ Property / cites work @@
+Announcements to attentive agents
@@ Property / cites work: Announcements to attentive agents / rank @@
+Normal rank
@@ Property / cites work @@
+Children's application of theory of mind in reasoning and language
+Normal rank
@@ Property / cites work @@
+Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL
+Normal rank
@@ Property / cites work @@
+A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
+Normal rank
@@ Property / cites work @@
+ARROW UPDATE LOGIC
@@ Property / cites work: ARROW UPDATE LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Epistemic Planning
@@ Property / cites work: Conditional Epistemic Planning / rank @@
+Normal rank