Typology of Axioms for a Weighted Modal Logic

Abstract : This paper introduces and studies extensions of modal logics by investigating the soundness of classical modal axioms in a weighted framework. It discusses the notion of relevant weight values, in a specific weighted Kripke semantics and exploits accessibility relation properties. Different generalisations of the classical axioms are constructed and, from these, a typology of weighted axioms is built, distinguishing between four types, depending on their relations to their classical counterparts and to the, possibly equivalent, frame conditions.
Type de document :
Article dans une revue
International Journal of Approximate Reasoning, Elsevier, 2017, 90, pp.341-358. 〈10.1016/j.ijar.2017.06.011〉
Liste complète des métadonnées

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

https://hal.sorbonne-universite.fr/hal-01558038
Contributeur : Marie-Jeanne Lesot <>
Soumis le : vendredi 29 septembre 2017 - 15:23:09
Dernière modification le : vendredi 31 août 2018 - 09:25:57

Fichier

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

Identifiants

Collections

Citation

Bénédicte Legastelois, Marie-Jeanne Lesot, Adrien Revault d'Allonnes. Typology of Axioms for a Weighted Modal Logic. International Journal of Approximate Reasoning, Elsevier, 2017, 90, pp.341-358. 〈10.1016/j.ijar.2017.06.011〉. 〈hal-01558038〉

Partager

Métriques

Consultations de la notice

246

Téléchargements de fichiers

32