2 citations · 2 across the 1 of their papers we have counts for
5 papers
An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics
Yoshihito Tanaka
In this paper, we give an extension of the Jónsson-Tarski representation theorem for both normal and non-normal modal algebras so that it preserves countably many infinitary meets…
An -rule for the logic of provability and its models
Katsumi Sasaki, Yoshihito Tanaka
In this paper, we discuss a proof system for the logic of provability, which is equipped with an -rule. We show the three classes of transitive Krip…
Duality for -additive complete atomic modal algebras
Yoshihito Tanaka
In this paper, we give a duality theorem between the category of -additive complete atomic modal algebras and the category of -downward directed multi-relational Kripke frame…
A cut-free proof system for a predicate extension of the logic of provability
Yoshihito Tanaka
In this paper, we introduce a proof system for a Kripke complete predicate extension of the logic , that is, the logic of provability, which is defned…
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka +2
Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal d…