Y
Yoshimi Fujikawa
Publications - 3
Yoshimi Fujikawa is an academic researcher. The author has contributed to research in topics: Decision problem & Modal operator. The author has co-authored 3 publications.
Papers
More filters
Journal ArticleDOI
The Construction of Bi-Modal Systems
Arata Ishimoto,Yoshimi Fujikawa +1 more
TL;DR: In this article, some bi-modal systems involving two kinds of modal operators are constructed in Gentzen-type formulations with the proof of the Hauptsatz for some of these systems.