arXiv Open Access 2025

Intuitionistic monotone modal logic via translation

Jim de Groot

Lihat Sumber

Abstrak

We introduce a monotone modal analogue of the intuitionistic (normal) modal logic IK using a translation into a suitable (intuitionistic) first-order logic. We axiomatise the logic and give a semantics by means of intuitionistic neighbourhood models, which contain neighbourhoods whose value can change when moving along the intuitionistic accessibility relation. We compare the resulting logic with other intuitionistic monotone modal logics and show how it can be embedded into a multimodal version of IK.

Topik & Kata Kunci

math.LO cs.LO

Penulis (1)

Jim de Groot

Format Sitasi

APA MLA BibTeX

Groot, J.d. (2025). Intuitionistic monotone modal logic via translation. https://arxiv.org/abs/2507.13746

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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