Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
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_ | 1866910124094783488 |
|---|---|
| author | de Groot, Jim Shillito, Ian Clouston, Ranald |
| author_facet | de Groot, Jim Shillito, Ian Clouston, Ranald |
| contents | We carry out a semantic study of the constructive modal logic CK. We provide a categorical duality linking the algebraic and birelational semantics of the logic. We then use this to prove Sahlqvist style correspondence and completeness results, as well as a Goldblatt-Thomason style theorem on definability of classes of frames. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_03762 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason de Groot, Jim Shillito, Ian Clouston, Ranald Logic Logic in Computer Science We carry out a semantic study of the constructive modal logic CK. We provide a categorical duality linking the algebraic and birelational semantics of the logic. We then use this to prove Sahlqvist style correspondence and completeness results, as well as a Goldblatt-Thomason style theorem on definability of classes of frames. |
| title | Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason |
| topic | Logic Logic in Computer Science |
| url | https://arxiv.org/abs/2601.03762 |