Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866911378549243904 |
|---|---|
| author | Arroyo, Vicent Navarro |
| author_facet | Arroyo, Vicent Navarro |
| contents | We study the semantic relationship between Gödel-Dummett logic $\mathsf{GL}$ and bounded-depth-2 logic $\mathsf{BD_2}$, two well-known intermediate logics. While $\mathsf{GL}$ imposes linearity on Kripke frames, $\mathsf{BD_2}$ bounds their depth to two. We prove these logics are incomparable (neither contains the other) through minimal frame conditions. Notably, their combination $\mathsf{GL+BD_2}$ collapses to the logic of one or two world frames, bringing it remarkably close to classical logic. This illustrates how controlling breadth and depth in intuitionistic semantics leads to mutually exclusive structural constraints. Finally, we give a conceptual and philosophical interpretation of the previous results.
This is an extended abstract of work in progress. Comments and suggestions welcome at: vicent.navarro@ub.edu |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_06593 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics Arroyo, Vicent Navarro Logic We study the semantic relationship between Gödel-Dummett logic $\mathsf{GL}$ and bounded-depth-2 logic $\mathsf{BD_2}$, two well-known intermediate logics. While $\mathsf{GL}$ imposes linearity on Kripke frames, $\mathsf{BD_2}$ bounds their depth to two. We prove these logics are incomparable (neither contains the other) through minimal frame conditions. Notably, their combination $\mathsf{GL+BD_2}$ collapses to the logic of one or two world frames, bringing it remarkably close to classical logic. This illustrates how controlling breadth and depth in intuitionistic semantics leads to mutually exclusive structural constraints. Finally, we give a conceptual and philosophical interpretation of the previous results. This is an extended abstract of work in progress. Comments and suggestions welcome at: vicent.navarro@ub.edu |
| title | Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics |
| topic | Logic |
| url | https://arxiv.org/abs/2601.06593 |