Here and There modal logic with dual implication - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Here and There modal logic with dual implication

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
balbiani_22143.pdf (420.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03624089 , version 1 (30-03-2022)

Identifiants

  • HAL Id : hal-03624089 , version 1
  • OATAO : 22743

Citer

Philippe Balbiani, Martín Diéguez. Here and There modal logic with dual implication. 12th International Conference Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.1-20. ⟨hal-03624089⟩
7 Consultations
2 Téléchargements

Partager

Gmail Facebook X LinkedIn More