Typology of axioms for a weighted modal logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Typology of axioms for a weighted modal logic

Résumé

In a weighted modal logics framework, this paper studies the definition of weighted extensions for the classical modal axioms. It discusses the notion of relevant weight values, in a specific weighted Kripke semantics and exploiting 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
LegasteloisLesotRevaultDAllonnes.pdf (249.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01320406 , version 1 (05-06-2018)

Identifiants

  • HAL Id : hal-01320406 , version 1

Citer

Bénédicte Legastelois, Marie-Jeanne Lesot, Adrien Revault d'Allonnes. Typology of axioms for a weighted modal logic. Workshop on Weighted Logics for Artifical Intelligence, WL4AI, IJCAI, Jul 2015, Buenos Aires, Argentina. pp.40-47. ⟨hal-01320406⟩
128 Consultations
51 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More