Ultrafilter Extensions for Veltman Semantics
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911523287334912 |
|---|---|
| author | Gonzalez, Felix Frigola Joosten, Joost J. Arroyo, Vicent Navarro Brogi, Cosimo Perini |
| author_facet | Gonzalez, Felix Frigola Joosten, Joost J. Arroyo, Vicent Navarro Brogi, Cosimo Perini |
| contents | In this paper, we present a first-order frame condition for interpretability logic and show that the condition is not modally definable. Yet, the frame-condition holds both on ILM and on ILP frames and, hence, is of potential importance for the long-standing open problem about the interpretability logic of all reasonable arithmetical theories. In the light of the Goldblatt-Thomason Theorem, the modally inexpressible frame condition serves as motivation to develop ultrafilter extensions for inter pretability logic. We develop the necessary algebraic tools to define these ultrafilter extensions and prove the main properties about both the tools and the ultrafilter extensions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_16754 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Ultrafilter Extensions for Veltman Semantics Gonzalez, Felix Frigola Joosten, Joost J. Arroyo, Vicent Navarro Brogi, Cosimo Perini Logic In this paper, we present a first-order frame condition for interpretability logic and show that the condition is not modally definable. Yet, the frame-condition holds both on ILM and on ILP frames and, hence, is of potential importance for the long-standing open problem about the interpretability logic of all reasonable arithmetical theories. In the light of the Goldblatt-Thomason Theorem, the modally inexpressible frame condition serves as motivation to develop ultrafilter extensions for inter pretability logic. We develop the necessary algebraic tools to define these ultrafilter extensions and prove the main properties about both the tools and the ultrafilter extensions. |
| title | Ultrafilter Extensions for Veltman Semantics |
| topic | Logic |
| url | https://arxiv.org/abs/2603.16754 |