Yoshihito Tanaka

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 5

Top Topics

Inference Rules

Top Venues

Publications

Yoshihito Tanaka
An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics. Math. Log. Q. 68 (2) (2022)
Yoshihito Tanaka, Akira Kubota
Evaluation of Pseudo-Haptics system feedbacking muscle activity. VRST (2022)
Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. J. Symb. Log. 84 (2) (2019)
Yoshihito Tanaka
A cut-free proof system for a predicate extension of the logic of provability. Reports Math. Log. 53 (2018)
Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators. CoRR (2017)
Yoshihito Tanaka
An Infinitary Extension of Jankov's Theorem. Stud Logica 86 (1) (2007)
Yoshihito Tanaka
Some Proof Systems for Common Knowledge Predicate. Reports Math. Log. 37 (2003)
Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka
A Map of Common Knowledge Logics. Stud Logica 71 (1) (2002)
Yoshihito Tanaka
Cut-elimination Theorems for Some Infinitary Modal Logics. Math. Log. Q. 47 (3) (2001)
Yoshihito Tanaka
Model Existence in Non-Compact Modal Logic. Stud Logica 67 (1) (2001)
Yoshihito Tanaka
Kripke Completeness of Infinitary Predicate Multimodal Logics. Notre Dame J. Formal Log. 40 (3) (1999)
Yoshihito Tanaka, Hiroakira Ono
Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. Advances in Modal Logic (1998)