Yoshihito Tanaka

13 papers B 2Journal 11
YearRankTypeTitle / Venue / Authors
2024 J jnl
An ømega-Rule for the Logic of Provability and Its Models.
Stud Logica
Katsumi Sasaki, Yoshihito Tanaka
2022 J jnl
An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics.
Math. Log. Q.
Yoshihito Tanaka
2022 B conf
Evaluation of Pseudo-Haptics system feedbacking muscle activity.
VRST
Yoshihito Tanaka, Akira Kubota
2019 J jnl
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.
J. Symb. Log.
Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
2018 J jnl
A cut-free proof system for a predicate extension of the logic of provability.
Reports Math. Log.
Yoshihito Tanaka
2017 J jnl
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators.
CoRR
Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
2007 J jnl
An Infinitary Extension of Jankov's Theorem.
Stud Logica
Yoshihito Tanaka
2003 J jnl
Some Proof Systems for Common Knowledge Predicate.
Reports Math. Log.
Yoshihito Tanaka
2002 J jnl
A Map of Common Knowledge Logics.
Stud Logica
Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka
2001 J jnl
Cut-elimination Theorems for Some Infinitary Modal Logics.
Math. Log. Q.
Yoshihito Tanaka
2001 J jnl
Model Existence in Non-Compact Modal Logic.
Stud Logica
Yoshihito Tanaka
1999 J jnl
Kripke Completeness of Infinitary Predicate Multimodal Logics.
Notre Dame J. Formal Log.
Yoshihito Tanaka
1998 B conf
Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics.
Advances in Modal Logic
Yoshihito Tanaka, Hiroakira Ono