{"id":"arxiv/2605.20769","url":"https://arxiv.org/abs/2605.20769","tags":["math.LO"],"score":0,"title":"Very weak subintuitionistic logics","domain":"math.LO","source":"arxiv","authors":["Taishi Kurahashi","Mashu Noguchi"],"reviews":0,"subject":"math.LO","summary":"We introduce a new propositional logic, called very weak subintuitionistic logic $\\mathbf{VF}$, by adapting the relational semantics of Fitting, Marek, and Truszczyński for the pure logic of necessitation $\\mathbf{N}$ to the propositional setting. We prove that $\\mathbf{VF}$ and its closed negative extensions are sound and complete with respect to this semantics, and that they have the disjunction property and the finite frame property. We also prove that $\\mathbf{VF}$ is strictly weaker than the weak subintuitionistic logic $\\mathbf{WF}$ of Maleki and de Jongh. Finally, we study modal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-20","reactions":{}}