1 citations · 1 across the 9 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.LO2026
Modal logics of conjunctively closed provability predicates
Haruka Kogure, Taishi Kurahashi
We investigate non-normal modal logics corresponding to provability predicates satisfying the derivability condition : $T\vdash\mathrm{Pr}_T(\ulcorne…
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…