Generalizes AGM belief revision postulates to multi-agent systems via Kripke models, provides satisfying operators like generalized full-meet revision, and discusses challenges for iterated revision.
ClosureBy our definition, it is clear that K∗ ev Baφ=Cn(K∗ ev Baφ)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
Generalizes AGM belief revision postulates to multi-agent systems via Kripke models, provides satisfying operators like generalized full-meet revision, and discusses challenges for iterated revision.