22 citations · 48 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
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…
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…