Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2604.23234 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913062276038656 |
|---|---|
| author | Aguilera, Juan P. Fernández-Duque, David Pacheco, Leonardo |
| author_facet | Aguilera, Juan P. Fernández-Duque, David Pacheco, Leonardo |
| contents | We develop polytopological semantics for various constructive, intuitionistic, and Gödel--Dummett variations of $\mathsf{K4}$ and $\mathsf{S4}$. In our models, intuitionistic and modal operators are interpreted via various topologies over a single set, equipped with either the closure or derivative operators. We identify regularity conditions to ensure that spaces validate each of our target logics and prove that all the logics considered are sound and strongly complete with respect to their respective semantics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_23234 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Polytopological Semantics for Intuitionistic Modal Logics Aguilera, Juan P. Fernández-Duque, David Pacheco, Leonardo Logic We develop polytopological semantics for various constructive, intuitionistic, and Gödel--Dummett variations of $\mathsf{K4}$ and $\mathsf{S4}$. In our models, intuitionistic and modal operators are interpreted via various topologies over a single set, equipped with either the closure or derivative operators. We identify regularity conditions to ensure that spaces validate each of our target logics and prove that all the logics considered are sound and strongly complete with respect to their respective semantics. |
| title | Polytopological Semantics for Intuitionistic Modal Logics |
| topic | Logic |
| url | https://arxiv.org/abs/2604.23234 |