Depth-bounded Epistemic Logic

DOI10.4204/eptcs.379.7arXiv2307.07448MaRDI QIDQ6199597

Unnamed Author, Martin C. Rinard

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.07448

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Dynamic epistemic logic
• Learning to apply theory of mind
• A guide to completeness and complexity for modal logics of knowledge and belief
• Reasoning about information change
• Evaluations of epistemic components for resolving the muddy children puzzle
• Logics for epistemic programs
• Reasoning about Other Agents’ Beliefs under Bounded Resources
• Epistemic logic and logical omniscience: A survey
• Unnamed Item
• Unnamed Item
• Unnamed Item