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.
It follows thatB bψ̸∈K∗ fm Baφ, hence (K∗ fm Baφ)∗ fm Bbψ=K (M∅,s) +B bψ, which implies (K∗ fm Baφ)∗ fm Bbψ⊆K∗ fm Bbψ
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.