Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4945204 | International Journal of Approximate Reasoning | 2017 | 18 Pages |
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Bénédicte Legastelois, Marie-Jeanne Lesot, Adrien Revault d'Allonnes,