{"id":"arxiv/2609.39577","url":"https://arxiv.org/abs/2609.39577","tags":["cs.LO","math.LO"],"score":0,"title":"Non-finite Axiomatizability and Undecidability of $\\mathsf{Cheq}$","domain":"cs.LO","source":"arxiv","authors":["Han Xiao"],"reviews":0,"subject":"cs.LO","summary":"We prove that $\\mathsf{Cheq}$ is not finitely axiomatizable, resolving a longstanding open problem in intermediate and modal logics. We further prove that the undecidability of Medvedev logic implies the undecidability of $\\mathsf{Cheq}$.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}