Mitsuhiro Okada

Nagano Prefectural College — Japan

Computer Science · Physical Sciences

17h-index892citations109works0.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(33), Logic, Reasoning, and Knowledge(28), Advanced Algebra and Logic(18), Formal Methods in Verification(15), Advanced Authentication Protocols Security(8)

Publications109 total

OntoBioAmazon: uma ontologia para uma bioeconomia baseada na inovação social na Amazônia
Caderno Pedagógico·2025Open Access
Phylogenetic characterization of the pork tapeworm Taenia solium in Japan: implications for the enigmatic evolutionary history
International Journal for Parasitology·2025· 1 citedOpen Access
<i>Arithmetic in the</i> Tractatus Logico-Philosophicus
Cambridge University Press eBooks·2024· 1 cited
&lt;i&gt;Preface for the Special Topic “Disagreement in Logic and Reasoning”&lt;/i&gt;
Annals of the Japan Association for Philosophy of Science·2024Open Access
Sundholm on Wittgenstein and Realism
Logic, epistemology, and the unity of science·2024
&lt;i&gt;Some Remarks on the Collapse Issues of Merging Different Logics ― with Classical, Intuitionistic, Finitist and Linear Logics&lt;/i&gt;
Annals of the Japan Association for Philosophy of Science·2024Open Access
An Eye-Tracking Study on the Effects of Using Highlighted Multi-attribute Tables: A Preliminary Report
Lecture notes in computer science·2024
Wittgenstein's Struggle with Intuitionism
2023· 2 cited
-
Kagaku tetsugaku·2021· 1 citedOpen Access
Wittgenstein's Uniqueness Rule as an Elimination Rule of Inductive Types:
Kagaku tetsugaku·2021Open Access
Advances in Mathematical Logic
Springer proceedings in mathematics & statistics·2021· 1 cited
A Semantics for “Typically” in First-Order Default Reasoning
Lecture notes in computer science·2021
Logic, Language, and Security
Lecture notes in computer science·2020· 21 cited
A Small Remark on Hilbert’s Finitist View of Divisibility and Kanovich-Okada-Scedrov’s Logical Analysis of Real-Time Systems
Lecture notes in computer science·2020Open Access
On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking Study
Lecture notes in computer science·2020· 3 citedOpen Access
Psychosocial Twin Cohort Studies in Japan: The Keio Twin Research Center (KoTReC)
Twin Research and Human Genetics·2019· 5 citedOpen Access
リサイクル・環境調和材料
Seikei-Kakou·2019Open Access
Wittgenstein, Goodstein, and the Origin of the Uniqueness Rule for Primitive Recursive Arithmetic
Cambridge University Press eBooks·2018· 4 cited
A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
arXiv (Cornell University)·2018Open Access
Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68]
Theoretical Computer Science·2018· 3 cited
page 1 of 6Next →

Frequent Co-authors

Ryo Takemura(6), Koji Mineshima(5), Koji Hasebe(5), Andre Scedrov(4), Chizuru Shikishima(4), Kai Hiraishi(4), Shinji Yamagata(4), Juko Ando(4), Max Kanovich(4), Jean-Pierre Jouannaud(3), Yutaro Sugimoto(3), Koken Ozaki(3), Tatsushi Toda(3), Gergei Bana(3), Mathieu Marion(3), Frédéric Blanqui(2), Masahiro Hamano(2), Keiko K. Fujisawa(2), Mari Nozaki(2), Yusuke Takahashi(2)