Yoshihito Tanaka

activity

20172021

most citedKripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators

9 citations · 17 across the 5 of their papers we have counts for

collaborators

Showing 2018 · math.LOShow all

2 papers · 2 filters

math.LO2018★ 4 cited

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…

math.LO2018★ 2 cited

A cut-free proof system for a predicate extension of the logic of provability

Yoshihito Tanaka

In this paper, we introduce a proof system $NQGL$ for a Kripke complete predicate extension of the logic $GL$ , that is, the logic of provability, which is defned…

Duality for κ-additive complete atomic modal algebras

A cut-free proof system for a predicate extension of the logic of provability

Duality for $κ$ -additive complete atomic modal algebras