Typology of Axioms for a Weighted Modal Logic - Sorbonne Université Accéder directement au contenu
Article Dans Une Revue International Journal of Approximate Reasoning Année : 2017

Typology of Axioms for a Weighted Modal Logic

Résumé

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

Dates et versions

hal-01558038 , version 1 (29-09-2017)

Identifiants

Citer

Bénédicte Legastelois, Marie-Jeanne Lesot, Adrien Revault d'Allonnes. Typology of Axioms for a Weighted Modal Logic. International Journal of Approximate Reasoning, 2017, 90, pp.341-358. ⟨10.1016/j.ijar.2017.06.011⟩. ⟨hal-01558038⟩
309 Consultations
285 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More