Here and There modal logic with dual implication
Résumé
We define and study an extension of the logic of Here and There with dual implication and modal operators of necessity and possibility. We provide a complete axiomatisation. We prove as well other results such as the interdefinability of modal operators and the Hennessy-Milner property. We give an upper bound to the complexity of the satisfiability problem.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|