22 citations · 48 across the 10 of their papers we have counts for
10 papers
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…
Analytic Cut in Epistemic Logics with Distributed Knowledge
Ryo Murai, Sizhuo Liu, Katsuhiko Sano
Distributed knowledge is a notion of group knowledge studied in multi-agent epistemic logic. Semantically, the distributed knowledge of a group is interpreted via an accessibility…
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…
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
Katsuhiko Sano, Jonni Virtema
Let ML(U^+) denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We characterize the relative definabilit…
Characterising Modal Definability of Team-Based Logics via the Universal Modality
Katsuhiko Sano, Jonni Virtema
We study model and frame definability of various modal logics. Let ML(A+) denote the fragment of modal logic extended with the universal modality in which the universal modality oc…
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…