Provability interpretation of non-normal modal logics having neighborhood semantics
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915628690964480 |
|---|---|
| author | Kogure, Haruka |
| author_facet | Kogure, Haruka |
| contents | We study provability predicates $\mathrm{Pr}_T(x)$ satisfying the following condition $\mathbf{E}$ from a modal logical perspective: $\mathbf{E}:$ if $ T \vdash φ\leftrightarrow ψ$, then $T \vdash \mathrm{Pr}_T(\ulcorner φ\urcorner) \leftrightarrow \mathrm{Pr}_T(\ulcorner ψ\urcorner)$. For this purpose, we develop a new method of embedding models based on neighborhood semantics into arithmetic. Our method broadens the scope of arithmetical completeness proofs. In particular, we prove the arithmetical completeness theorems for the non-normal modal logics $\mathsf{EN}$, $\mathsf{ECN}$, $\mathsf{ENP}$, $\mathsf{END}$, and $\mathsf{ECNP}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_16488 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Provability interpretation of non-normal modal logics having neighborhood semantics Kogure, Haruka Logic We study provability predicates $\mathrm{Pr}_T(x)$ satisfying the following condition $\mathbf{E}$ from a modal logical perspective: $\mathbf{E}:$ if $ T \vdash φ\leftrightarrow ψ$, then $T \vdash \mathrm{Pr}_T(\ulcorner φ\urcorner) \leftrightarrow \mathrm{Pr}_T(\ulcorner ψ\urcorner)$. For this purpose, we develop a new method of embedding models based on neighborhood semantics into arithmetic. Our method broadens the scope of arithmetical completeness proofs. In particular, we prove the arithmetical completeness theorems for the non-normal modal logics $\mathsf{EN}$, $\mathsf{ECN}$, $\mathsf{ENP}$, $\mathsf{END}$, and $\mathsf{ECNP}$. |
| title | Provability interpretation of non-normal modal logics having neighborhood semantics |
| topic | Logic |
| url | https://arxiv.org/abs/2511.16488 |