Dynamic Epistemic Logic as a Substructural Logic

Guillaume Aucher 1
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) is an influential logical framework for reasoning about the dynamics of beliefs and knowledge. It has been related to older and more established logical frameworks. Despite these connections, DEL remains, arguably, a rather isolated logic in the vast realm of non-classical logics and modal logics. This is problematic if logic is to be viewed ultimately as a unified and unifying field and if we want to avoid that DEL goes on "riding off madly in all directions" (a metaphor used by van Benthem about logic in general). In this article, we show that DEL can be redefined naturally and meaningfully as a two-sorted substructural logic. In fact, it is even one of the most primitive substructural logics since it does not preserve any of the structural rules. Moreover, the ternary semantics of DEL and its dynamic interpretation provides a conceptual foundation for the Routley & Meyer's semantics of substructural logics.
Type de document :
Chapitre d'ouvrage
Johan van Benthem on Logic and Information Dynamics, 5, pp.855 - 880, 2014, Outstanding Contributions to Logic, 〈10.1007/978-3-319-06025-5_33〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01098793
Contributeur : Guillaume Aucher <>
Soumis le : lundi 29 décembre 2014 - 15:27:07
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : mercredi 3 juin 2015 - 12:40:11

Fichier

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

Identifiants

Collections

Citation

Guillaume Aucher. Dynamic Epistemic Logic as a Substructural Logic. Johan van Benthem on Logic and Information Dynamics, 5, pp.855 - 880, 2014, Outstanding Contributions to Logic, 〈10.1007/978-3-319-06025-5_33〉. 〈hal-01098793〉

Partager

Métriques

Consultations de la notice

210

Téléchargements de fichiers

166