11 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 5 cited
Combining First-Order Classical and Intuitionistic Logic
Masanobu Toyooka, Katsuhiko Sano
This paper studies a first-order expansion of a combination C+J of intuitionistic and classical propositional logic, which was studied by Humberstone (1979) and del Cerro and Herzi…
cs.LO2017★ 11 cited
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics
Katsuhiko Sano, John G. Stell
Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility…