arXiv Open Access 2025

Intuitionistic modal logics: a minimal setting

Philippe Balbiani Çigdem Gencer

Lihat Sumber

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''.

Topik & Kata Kunci

math.LO cs.LO

Penulis (2)

Philippe Balbiani

Çigdem Gencer

Format Sitasi

APA MLA BibTeX

Balbiani, P., Gencer, Ç. (2025). Intuitionistic modal logics: a minimal setting. https://arxiv.org/abs/2502.19060

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓