{"id":"arxiv/2607.08730","url":"https://arxiv.org/abs/2607.08730","tags":["math.LO"],"score":0,"title":"Modal logics of conjunctively closed provability predicates","domain":"math.LO","source":"arxiv","authors":["Haruka Kogure","Taishi Kurahashi"],"reviews":0,"subject":"math.LO","summary":"We investigate non-normal modal logics corresponding to provability predicates $\\mathrm{Pr}_T(x)$ satisfying the derivability condition $\\mathbf{C}$: $T\\vdash\\mathrm{Pr}_T(\\ulcorner \\varphi \\urcorner)\\land\\mathrm{Pr}_T(\\ulcorner ψ\\urcorner)\\to \\mathrm{Pr}_T(\\ulcorner \\varphi\\landψ\\urcorner)$. The modal counterpart of this condition is the axiom scheme $\\mathsf{C}$: $\\Box A\\land\\Box B\\to\\Box(A\\land B)$. First, we introduce a new semantics based on closure operators for non-normal modal logics including logics adopting $\\mathsf{C}$ as an axiom scheme. We prove modal completeness for several…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-09","reactions":{}}