Generalizes AGM postulates to multi-agent Kripke models, presents full-meet operator satisfying them, and discusses iterated revision with event models.
Hence, agentahas cosistent beliefs inK (M,s) ∗fm Baφ
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
Generalizes AGM postulates to multi-agent Kripke models, presents full-meet operator satisfying them, and discusses iterated revision with event models.