A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations.

Aiting Liang Yongmei Liu

Published in: ECAI (2023)

Keyphrases

belief revision
multi agent
logical framework
propositional logic
sound and complete axiomatization
decision theoretic
knowledge base
decision makers
default reasoning
epistemic states
logical properties
bargaining solution