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.
By definition of(M ∅, s) + Ba(φ∧ψ)and Lemma 4 it follows that, for any first- degree belief,B aϕ∈K∗ fm Ba(φ∧ψ)iffϕ∈Cn(φ∧ψ), and forx∈ A \ {a},B xϕ∈K∗ fm Ba(φ∧ψ)iff|=ϕ
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.