{"id":"arxiv/2609.38975","url":"https://arxiv.org/abs/2609.38975","tags":["math.LO"],"score":0,"title":"Proof Theory for Non-Contingency Logic","domain":"math.LO","source":"arxiv","authors":["Yunsong Wang","Lukas Zenger"],"reviews":0,"subject":"math.LO","summary":"{Non-contingency logic $(\\KWL)$ replaces the usual necessity operator of modal logic with an operator expressing that a proposition is necessarily true or necessarily false. Besides its intrinsic logical interest, it admits natural interpretations as knowing whether in epistemic logic and as decidability under the arithmetical interpretation of provability logic. Although the semantics of non-contingency logic have been extensively studied, its proof theory remains comparatively underdeveloped. In this paper, we develop a uniform proof-theoretic framework for $\\KWL$ over a broad class of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}