BMS revisited

Abstract : The insight of the BMS logical framework (proposed by Baltag, Moss and Solecki) is to represent how an event is perceived by several agents very similarly to the way one represents how a static situation is perceived by them: by means of a Kripke model. There are however some differences between the definitions of an epistemic model (representing the static situation) and an event model. In this paper we restore the symmetry. The resulting logical framework allows, unlike any other one, to express statements about ongoing events and to model the fact that our perception of events (and not only of the static situation) can also be updated due to other events. We axiomatize it and prove its decidability. Finally, we show that it embeds the BMS one if we add common belief operators.
Type de document :
Communication dans un congrès
Theoretical Aspects of Rationality and Knowledge, Jul 2009, Stanford, United States. 2009
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00556035
Contributeur : Guillaume Aucher <>
Soumis le : samedi 15 janvier 2011 - 01:57:27
Dernière modification le : lundi 17 janvier 2011 - 17:14:36
Document(s) archivé(s) le : samedi 16 avril 2011 - 02:30:23

Fichier

TARK2009BIS.PDF
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00556035, version 1

Citation

Guillaume Aucher. BMS revisited. Theoretical Aspects of Rationality and Knowledge, Jul 2009, Stanford, United States. 2009. 〈inria-00556035〉

Partager

Métriques

Consultations de la notice

119

Téléchargements de fichiers

75