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 2020 · math.LOShow all

1 paper · 2 filters

math.LO2020

An $ω$ -rule for the logic of provability and its models

Katsumi Sasaki, Yoshihito Tanaka

In this paper, we discuss a proof system $NGL$ for the logic $GL$ of provability, which is equipped with an $ω$ -rule. We show the three classes of transitive Krip…

An ω-rule for the logic of provability and its models

An $ω$ -rule for the logic of provability and its models