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