Local Intuitionistic Modal Logics and Their Calculi
Résumé
We investigate intuitionistic modal logics with locally interpreted box and diamond. The basic logic LIK is stronger than constructive modal logic WK and incomparable with intuitionistic modal logic IK. We propose an axiomatization of LIK and some of its extensions. Additionally, we present bi-nested calculi for LIK and these extensions, providing both a decision procedure and a procedure of finite countermodel extraction.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|