22 citations · 48 across the 10 of their papers we have counts for
7 papers · 1 filter
Uniform Interpolation of Basic Tense Logic
Katsuhiko Sano
This paper establishes the uniform interpolation theorem for basic tense logic, which is also known as two-way modal logic or modal logic with converse. First introduced by Arthur…
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
Masanobu Toyooka, Katsuhiko Sano
The updated version of this paper has already been published in The Australasian Journal of Logic. You can access to the paper from the following link: https://ojs.victoria.ac.nz/a…
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…
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus
Katsuhiko Sano
This paper positively solves an open problem if it is possible to provide a Hilbert system to Epistemic Logic of Friendship (EFL) by Seligman, Girard and Liu. To find a Hilbert sys…
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…
Axiomatizing Propositional Dependence Logics
Katsuhiko Sano, Jonni Virtema
We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extend…
The Expressive Power of Modal Dependence Logic
Lauri Hella, Kerkko Luosto, Katsuhiko Sano +1
We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulatio…