arXiv
Open Access
2025
Intuitionistic modal logics: a minimal setting
Philippe Balbiani
Çigdem Gencer
Abstrak
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''.
Penulis (2)
P
Philippe Balbiani
Ç
Çigdem Gencer
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2025
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓