2 papers
math.LO2026
Very weak subintuitionistic logics
Taishi Kurahashi, Mashu Noguchi
We introduce a new propositional logic, called very weak subintuitionistic logic , by adapting the relational semantics of Fitting, Marek, and Truszczyński for the pur…
math.LO2026
Finite Kripke models and provability interpretations in quantified modal logic
Haruka Kogure, Taishi Kurahashi
In this paper, we investigate arithmetical completeness with respect to finite Kripke models of quantified modal logic. We adapt the finite-model embedding techniques of Artemov an…