{"id":"arxiv/2601.06593","url":"https://arxiv.org/abs/2601.06593","tags":["math.LO"],"score":0,"title":"Gödel-Dummett and $\\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics","domain":"math.LO","source":"arxiv","authors":["Vicent Navarro Arroyo"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-10","reactions":{}}