Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics
Résumé
We develop semantically-oriented calculi for the cube of non-normal modal logics and some deontic extensions. The calculi manipulate hypersequents and have a simple semantic interpretation. Their main feature is that they allow for direct countermodel extraction. Moreover they provide an optimal decision procedure for the respective logics. They also enjoy standard proof-theoretical properties, such as a syntactical proof of cut-admissibility.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...