9 citations · 17 across the 5 of their papers we have counts for
4 papers · 1 filter
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…