Very weak subintuitionistic logics
Taishi Kurahashi, Mashu Noguchi

TL;DR
This paper introduces a new propositional logic called very weak subintuitionistic logic (VF), establishing its semantics, properties, and relation to other logics, along with modal extensions.
Contribution
It defines VF, proves its soundness, completeness, and key properties, and explores its modal companions, advancing the understanding of weak subintuitionistic logics.
Findings
VF is sound and complete with respect to its semantics.
VF has the disjunction and finite frame properties.
VF is strictly weaker than the weak subintuitionistic logic WF.
Abstract
We introduce a new propositional logic, called very weak subintuitionistic logic , by adapting the relational semantics of Fitting, Marek, and Truszczy\'nski for the pure logic of necessitation to the propositional setting. We prove that 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 is strictly weaker than the weak subintuitionistic logic of Shirmohammadzadeh Maleki and de Jongh. Finally, we study modal companions of and its closed negative extensions via Corsi's modified G\"odel translation.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
