An internal version of epistemic logic

DOI10.1007/s11225-010-9227-9zbMath1200.03016MaRDI QIDQ965903

Guillaume Aucher

Publication date: 26 April 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00556030/file/10.1007-s11225-010-9227-9.pdf

zbMATH Keywords

belief revision; multi-agent systems; epistemic logic

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

Related Items

DEL-sequents for regression and epistemic planning, Exploring the tractability border in epistemic tasks, Parameterized complexity of theory of mind reasoning in dynamic epistemic logic, Dynamic term-modal logics for first-order epistemic planning, A simple logic for reasoning about incomplete knowledge, Epistemic planning for single- and multi-agent systems, Exploring the Power of Converse Events, Generalized DEL-Sequents, Conditional Epistemic Planning

Uses Software

• KARO

Cites Work

• Belief, awareness, and limited reasoning
• Two notions of epistemic validity. Epistemic models for Ramsey's conditionals
• Logics for epistemic programs
• Intention is choice with commitment
• On programming KARO agents
• Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
• Generalizing AGM to a multi-agent setting
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• On the logic of theory change: Partial meet contraction and revision functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item