{"id":"arxiv/2609.24795","url":"https://arxiv.org/abs/2609.24795","tags":["math.LO"],"score":0,"title":"Infinitary provability logic","domain":"math.LO","source":"arxiv","authors":["Mojtaba Mojtahedi","Fedor Pakhomov","Giovanni Soldà"],"reviews":0,"subject":"math.LO","summary":"Gödel-Löb provability logic $\\GL$ is a propositional modal system that on one hand enjoys completeness with respect to conversely well-founded Kripke frames and on the other hand captures all modal principles about $\\PA$-provability that are provable in $\\PA$ itself. In the present paper we carry out an initial investigation into the question of what the infinitary counterpart of $\\GL$ is. We develop a non-well-founded deep inference proof system $\\dgla$ for the modal language with at most countably infinite conjunctions and disjunctions. We show that the calculus is sound and complete for…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}