Interpolation above S4
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913058273624064 |
|---|---|
| author | Santschi, Simon Vooijs, Niels C. |
| author_facet | Santschi, Simon Vooijs, Niels C. |
| contents | We complete Maksimova's classification of the normal extensions of S4 with interpolation. In particular, we prove Craig interpolation for the six extensions of S4 for which Craig interpolation was still open. The proof strategy builds upon the ideas of Smoryński, but employs a novel approach using Fine's frame formulas for splitting clusters. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_22020 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Interpolation above S4 Santschi, Simon Vooijs, Niels C. Logic Logic in Computer Science 03B45 (Primary) 03C40 (Secondary) We complete Maksimova's classification of the normal extensions of S4 with interpolation. In particular, we prove Craig interpolation for the six extensions of S4 for which Craig interpolation was still open. The proof strategy builds upon the ideas of Smoryński, but employs a novel approach using Fine's frame formulas for splitting clusters. |
| title | Interpolation above S4 |
| topic | Logic Logic in Computer Science 03B45 (Primary) 03C40 (Secondary) |
| url | https://arxiv.org/abs/2604.22020 |