{"id":"arxiv/2608.30816","url":"https://arxiv.org/abs/2608.30816","tags":["math.LO"],"score":0,"title":"Most properties are undecidable even in $\\mathop{\\mathsf{NExt}} \\mathsf{Grz}_t$","domain":"math.LO","source":"arxiv","authors":["Qian Chen","Tenyo Takahashi"],"reviews":0,"subject":"math.LO","summary":"We investigate decidability of properties in the lattice $\\mathop{\\mathsf{NExt}} \\mathsf{Grz}_t$ of extensions of the Grzegorczyk tense logic $\\mathsf{Grz}_t$ and the lattice $\\mathop{\\mathsf{NExt}} \\mathsf{S4}_t$ of reflexive and transitive tense logics, with applications to the lattice $\\mathop{\\mathsf{Ext}} \\mathsf{biIPC}$ of bi-superintuitionistic logics. We prove that a broad class of properties is undecidable in $\\mathop{\\mathsf{NExt}} \\mathsf{Grz}_t$, including tabularity, Kripke completeness, the finite model property, and decidability, which also yields their undecidability in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-31","reactions":{}}