Typology of Axioms for a Weighted Modal Logic - Archive ouverte HAL Access content directly
Journal Articles International Journal of Approximate Reasoning Year : 2017

Typology of Axioms for a Weighted Modal Logic


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
290 View
271 Download



Gmail Facebook Twitter LinkedIn More