Frame-validity games and absolute minimality of modal axioms - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Frame-validity games and absolute minimality of modal axioms

Résumé

We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given property. Using these games we prove that the Löb axiom and the (m, n)-transfer axioms are optimal among those defining their respective class of frames.
Fichier principal
Vignette du fichier
paper 23.pdf (482.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03046246 , version 1 (08-12-2020)

Identifiants

  • HAL Id : hal-03046246 , version 1
  • OATAO : 22742

Citer

Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev. Frame-validity games and absolute minimality of modal axioms. 12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102. ⟨hal-03046246⟩
44 Consultations
34 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More