Intricate Axioms as Interaction Axioms

Abstract : In epistemic logic, some axioms dealing with the notion of knowledge are rather convoluted and difficult to interpret intuitively, even though some of them, such as the axioms .2 and .3, are considered to be key axioms by some epistemic logicians. We show that they can be characterized in terms of understandable interaction axioms relating knowledge and belief or knowledge and conditional belief. In order to show it, we first sketch a theory dealing with the characterization of axioms in terms of interaction axioms in modal logic. We then apply the main results and methods of this theory to obtain specific results related to epistemic and doxastic logics.
Type de document :
Article dans une revue
Studia Logica, Springer Verlag (Germany), 2015, pp.28. 〈10.1007/s11225-015-9609-0〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01193284
Contributeur : Guillaume Aucher <>
Soumis le : vendredi 4 septembre 2015 - 17:04:02
Dernière modification le : mercredi 16 mai 2018 - 11:23:29
Document(s) archivé(s) le : samedi 5 décembre 2015 - 13:49:10

Fichier

FinalRevisedStudiaLogica2014.p...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Guillaume Aucher. Intricate Axioms as Interaction Axioms. Studia Logica, Springer Verlag (Germany), 2015, pp.28. 〈10.1007/s11225-015-9609-0〉. 〈hal-01193284〉

Partager

Métriques

Consultations de la notice

425

Téléchargements de fichiers

138