arXiv Open Access 2024

Collapsing Constructive and Intuitionistic Modal Logics

Leonardo Pacheco

Lihat Sumber

Abstrak

We prove that the constructive and intuitionistic variants of the modal logic $\mathsf{KB}$ coincide. This result contrasts with a recent result by Das and Marin, who showed that the constructive and intuitionistic variants of $\mathsf{K}$ do not prove the same diamond-free formulas.

Topik & Kata Kunci

math.LO cs.LO

Penulis (1)

Leonardo Pacheco

Format Sitasi

APA MLA BibTeX

Pacheco, L. (2024). Collapsing Constructive and Intuitionistic Modal Logics. https://arxiv.org/abs/2408.16428

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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