Published papers
Okada, Mitsuhiro
21-40 items (total 139)
On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking Study
- Author
- Ideno T., Morii M., Takemura K., Okada M.
- Publication Title
- Start Page 365 - End Page 381 (Publication Date)2020)
- ISSN
- 9783030542481
Following a Rule: Waismann's Version
- Author
- マシュー岡田 光弘(/)-#HR
- Publication Title
- Magazine name Publications of the Austrian Ludwig Wittgenstein Society – New Series Publisher Austrian Ludwig Wittgenstein Society (Publication Date)2019)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
On quasi-ordinal diagrams
- Author
- Mitsuhiro Okada and Yuta Takahashi
- Publication Title
- Magazine name 38-49, EPTCS 288, Post-Workshop Proceedings of the 10th EOTCS Post-Proceedings of Workshop on Computation with Terms and Graphs (TermGraph 2018) Publisher FEPTCS Start Page 38 - End Page 49 (Publication Date)2019/03)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Qualitatively coherent representation makes decision-making easier with binary-colored multi-attribute tables: An eye-tracking study
- Author
- Okada, M., Morii, M., Ideno, T., Takemura, K. & Okada, M
- Publication Title
- Magazine name Frontiers in Psychology Publisher Frontiers (Publication Date)2017/08)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
What is logic?
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Proceedings of "Beyond Logic" cericy Meeting May 21-May 26, 2017 Publisher Cersy (Publication Date)2017/07)
- Authorship Category
- Single Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- Without
Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4
- Author
- Gergei Bana and Mitsuhiro Okada
- Publication Title
- Magazine name LIPIcs, Leibniz International Proceeding Series Publisher LIPIcs, Leibniz International Proceeding Series Volume 34(2016)(Issue article 23) Start Page 1 - End Page 17 (Publication Date)2016/08)
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Syntactic Reduction in Husserl's early Phenomenology of Arithmetic
- Author
- Mirja Hartimo and Mitsuhiro Okada
- Publication Title
- Magazine name Synthese Publisher Springer Volume 193(Issue 3) Start Page 937 - End Page 969 (Publication Date)2016/03)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Genetic Factors of Individual Differences in Decision Making in Economic Behavior: A Japanese Twin Study using the Allais Problem
- Author
- Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Juko Ando and Mitsuhiro Okada
- Publication Title
- Magazine name Frontiers in Psychology, Publisher Frontiers (Publication Date)2015)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
On definite manifolds and universal arithmetic in the early Husserl: 1901 winter manuscripts
- Author
- 岡田 光弘
- Publication Title
- Magazine name Phenomenology Association of Japan Publisher Phenomenology Association of Japan Start Page 1 - End Page 15 (Publication Date)2015/11)
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
Is g an entity? A japanese twin study using syllogysms and intelligence tests.
- Author
- Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Yutaro Sugimoto, Ryo Takemura, Koken Ozaki, Mitsuhiro Okada, Tatsushi Toda, Juko Ando
- Publication Title
- Magazine name Intelligence Volume 37(Issue 3) Start Page 256 - End Page 267 (Publication Date)2009)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Computational Semantics for First-Order Logical Analysis of Cryptographic protocols,Formal to Pratical Sucurity
- Author
- G.Bana, K.Hasebe, M.Okada
- Publication Title
- Magazine name Volume 5458 of Springer Lecture Notes in Computer Science Start Page 33 - End Page 56 (Publication Date)2009)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Conservativity for a hierarchy of Euler and Venn reasoning systems
- Author
- Koji Mineshima, Mitshihiro Okada and Ryo Takemura
- Publication Title
- Magazine name Proceedings of Visual Language and Logoc 2009.,CEUR Series Vol.510 Start Page 37 - End Page 61 (Publication Date)2009)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Diagrammatic Reasoning System with Euler Circles
- Author
- Koji Mineshima, Mitsuhiro Okada, Yuri Sato and Ryo takemura
- Publication Title
- Magazine name Theory and Experiment Design,2008,Proceedings of 5th International Conference on the Theory and Application of Diagrams(DIAGRAMS 2008),Lecture Notes In Artificial Intelligence,Vol.5223,Springer-Verlag,188-2 (Publication Date)2008)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Some remarks on difference between Gentzen's finitist and Heyting's intuitionist approaches toward intuitionistic logic and arithmetic.
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Annals of the Japan Association for Philosophy of Science, Vol.16 Start Page 1 - End Page 18 (Publication Date)2008)
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
BAN論理からprotocol composition logicへ:セキュリティプロトコルの老理的検証法
- Author
- 長谷部浩二、岡田光弘.
- Publication Title
- Start Page 311 - End Page 322 (Publication Date)2007)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Compuational Sematics for Basic Protocol Logic-A Stochastic Approach, Proceedings of ASIAN 07 the 12th Annual Asian Computing Science Conference
- Author
- G.Bana, K.Hasebe and M.Okada
- Publication Title
- Magazine name Vol.4846 of Lecture Notes in Compuer Science Start Page 86 - End Page 94 (Publication Date)2007)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus
- Author
- Mitsuhiro Okada and Ryo Takemura
- Publication Title
- Magazine name Volume 4600 of Lecture Notes in Computer Science, Springer Start Page 167 - End Page 181 (Publication Date)2007)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
A proof-theoretic study of the correspondence of hybrid logic and classical logic.
- Author
- HIirohiko Kushida and Mitsuhiro Okada
- Publication Title
- Magazine name Journal of Logic, Language and Information, Vol.16, No.1 Start Page 35 - End Page 61 (Publication Date)2007)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
フッサール、ゲーデルから線形論理へ.
- Author
- 岡田光弘
- Publication Title
- Start Page 149 - End Page 163 (Publication Date)2007/02)
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
Intuithionistic phase semantics is almost classical.
- Author
- Max I.Kanovich, Mitsuhiro Okada, and Kzushige Terui
- Publication Title
- Magazine name Mathematical Structures in Computer Science, Vol.16, No.1 Start Page 67 - End Page 86 (Publication Date)2006)
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With