Intuitionistic modal logics: a minimal setting
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910845930307584 |
|---|---|
| author | Balbiani, Philippe Gencer, Çigdem |
| author_facet | Balbiani, Philippe Gencer, Çigdem |
| contents | We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionistic modal logic''. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_19060 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Intuitionistic modal logics: a minimal setting Balbiani, Philippe Gencer, Çigdem Logic Logic in Computer Science We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionistic modal logic''. |
| title | Intuitionistic modal logics: a minimal setting |
| topic | Logic Logic in Computer Science |
| url | https://arxiv.org/abs/2502.19060 |