Yoshihito Tanaka

According to our database, Yoshihito Tanaka authored at least 12 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An ømega-Rule for the Logic of Provability and Its Models.

Katsumi Sasaki, Yoshihito Tanaka

Stud Logica, October, 2024

2022

An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics.

Yoshihito Tanaka

Math. Log. Q., 2022

Evaluation of Pseudo-Haptics system feedbacking muscle activity.

Yoshihito Tanaka, Akira Kubota

Proceedings of the 28th ACM Symposium on Virtual Reality Software and Technology, 2022

2019

Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.

Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev

J. Symb. Log., 2019

2018

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

Yoshihito Tanaka

Reports Math. Log., 2018

2007

An Infinitary Extension of Jankov's Theorem.

Yoshihito Tanaka

Stud Logica, 2007

2003

Some Proof Systems for Common Knowledge Predicate.

Yoshihito Tanaka

Reports Math. Log., 2003

2002

A Map of Common Knowledge Logics.

Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka

Stud Logica, 2002

2001

Model Existence in Non-Compact Modal Logic.

Yoshihito Tanaka

Stud Logica, 2001

Cut-elimination Theorems for Some Infinitary Modal Logics.

Yoshihito Tanaka

Math. Log. Q., 2001

1999

Kripke Completeness of Infinitary Predicate Multimodal Logics.

Yoshihito Tanaka

Notre Dame J. Formal Log., 1999

1998

Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics.

Yoshihito Tanaka, Hiroakira Ono

Proceedings of the Advances in Modal Logic 2, 1998