Change search
ReferencesLink to record
Permanent link

Direct link
A Formal Model of Multi-Agent Belief-Interaction
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2006 (English)In: Journal of Logic, Language and Information, ISSN 0925-8531, E-ISSN 1572-9583, Vol. 15, no 4, 303-329 p.Article in journal (Refereed) Published
Abstract [en]

A semantics is presented for belief revision in the face of common announcements to a group of agents that have beliefs about each other's beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal-structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no effect on any other aspect of the world. This allows us to employ an AGM-style selection function to represent revision. The semantics is given a complete axiomatisation (identical to the axiomatisation found by Gerbrandy and Groeneveld for a semantics based on non-wellfounded set theory) for the special case of expansion.

Place, publisher, year, edition, pages
2006. Vol. 15, no 4, 303-329 p.
Keyword [en]
Belief revision, Common announcements, Common knoweledge, Dynamic logic, Epistemic logic
National Category
URN: urn:nbn:se:kth:diva-87515DOI: 10.1007/s10849-006-3776-3ScopusID: 2-s2.0-33751549037OAI: diva2:501728

QC 20141126

Available from: 2012-02-14 Created: 2012-02-14 Last updated: 2014-11-26Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Cantwell, John
By organisation
In the same journal
Journal of Logic, Language and Information

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 25 hits
ReferencesLink to record
Permanent link

Direct link