Intricate Axioms as Interaction Axioms - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Studia Logica Année : 2015

Intricate Axioms as Interaction Axioms

Résumé

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.
Fichier principal
Vignette du fichier
FinalRevisedStudiaLogica2014.pdf (418.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01193284 , version 1 (04-09-2015)

Identifiants

Citer

Guillaume Aucher. Intricate Axioms as Interaction Axioms. Studia Logica, 2015, pp.28. ⟨10.1007/s11225-015-9609-0⟩. ⟨hal-01193284⟩
281 Consultations
311 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More