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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...