DEL-sequents for progression

Guillaume Aucher 1, *
* Auteur correspondant
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Dynamic Epistemic Logic (DEL) deals with the representation and the study in a multi-agent setting of knowledge and belief change. It can express in a uniform way epistemic statements about: (i) what is true about an initial situation (ii) what is true about an event occurring in this situation (iii) what is true about the resulting situation after the event has occurred. We axiomatize within the DEL framework what we can infer about (iii) given (i) and (ii). Given three formulas φ, φ and φ describing respectively (i), (ii) and (iii), we also show how to build a formula φ ⊗ φ which captures all the information which can be inferred about (iii) from φ and φ. We show how our results extend to other modal logics than K. In our proofs and definitions, we resort to a large extent to the normal form formulas for modal logic originally introduced by Kit Fine. In a companion paper [Aucher, 2012], we axiomatize what we can infer about (ii) given (i) and (iii), and what we can infer about (i) given (ii) and (iii), and show how to build two formulas φ φ and φ φ which capture respectively all the information which can be inferred about (ii) from φ and φ , and all the information which can be inferred about (i) from φ and φ .
Type de document :
Article dans une revue
Journal of Applied Non-Classical Logics, Editions Hermes, 2011, 21 (3-4), pp.289-321. 〈http://jancl.e-revues.com/article.jsp?articleId=17077〉. 〈10.3166/jancl.21.289-321〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00674150
Contributeur : Guillaume Aucher <>
Soumis le : lundi 7 septembre 2015 - 17:25:04
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : mercredi 26 avril 2017 - 15:25:23

Fichier

JANCL11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Guillaume Aucher. DEL-sequents for progression. Journal of Applied Non-Classical Logics, Editions Hermes, 2011, 21 (3-4), pp.289-321. 〈http://jancl.e-revues.com/article.jsp?articleId=17077〉. 〈10.3166/jancl.21.289-321〉. 〈hal-00674150〉

Partager

Métriques

Consultations de la notice

264

Téléchargements de fichiers

60