An internal version of epistemic logic

DOI10.1007/s11225-010-9227-9zbMath1200.03016OpenAlexW2009400517MaRDI 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 revisionmulti-agent systemsepistemic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (10)

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

Uses Software

• KARO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: An internal version of epistemic logic