Yoshihito Tanaka

Orcid: 0000-0001-6663-0484

According to our database1, Yoshihito Tanaka authored at least 11 papers between 1998 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics.
Math. Log. Q., 2022

Evaluation of Pseudo-Haptics system feedbacking muscle activity.
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.
J. Symb. Log., 2019

2018
A cut-free proof system for a predicate extension of the logic of provability.
Reports Math. Log., 2018

2007
An Infinitary Extension of Jankov's Theorem.
Stud Logica, 2007

2003
Some Proof Systems for Common Knowledge Predicate.
Reports Math. Log., 2003

2002
A Map of Common Knowledge Logics.
Stud Logica, 2002

2001
Model Existence in Non-Compact Modal Logic.
Stud Logica, 2001

Cut-elimination Theorems for Some Infinitary Modal Logics.
Math. Log. Q., 2001

1999
Kripke Completeness of Infinitary Predicate Multimodal Logics.
Notre Dame J. Formal Log., 1999

1998
Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics.
Proceedings of the Advances in Modal Logic 2, 1998


  Loading...