Papers - Okada, Mitsuhiro
-
Some remarks on difference between Gentzen's finitist and Heyting's intuitionist approaches toward intuitionistic logic and arithmetic.
Mitsuhiro Okada
Annals of the Japan Association for Philosophy of Science, Vol.16 1 - 18 2008
Research paper (scientific journal), Single Work, Accepted
-
Diagrammatic Reasoning System with Euler Circles
Koji Mineshima, Mitsuhiro Okada, Yuri Sato and Ryo takemura
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 2008
Research paper (scientific journal), Joint Work, Accepted
-
フッサール、ゲーデルから線形論理へ.
岡田光弘
「現代思想」Vol.35, No.3 149 - 163 2007.02
Research paper (scientific journal), Single Work
-
A proof-theoretic study of the correspondence of hybrid logic and classical logic.
HIirohiko Kushida and Mitsuhiro Okada
Journal of Logic, Language and Information, Vol.16, No.1 35 - 61 2007
Research paper (scientific journal), Joint Work, Accepted
-
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus
Mitsuhiro Okada and Ryo Takemura
Volume 4600 of Lecture Notes in Computer Science, Springer 167 - 181 2007
Research paper (scientific journal), Joint Work, Accepted
-
Compuational Sematics for Basic Protocol Logic-A Stochastic Approach, Proceedings of ASIAN 07 the 12th Annual Asian Computing Science Conference
G.Bana, K.Hasebe and M.Okada
Vol.4846 of Lecture Notes in Compuer Science 86 - 94 2007
Research paper (scientific journal), Joint Work, Accepted
-
BAN論理からprotocol composition logicへ：セキュリティプロトコルの老理的検証法
長谷部浩二、岡田光弘.
応用数理、Vol.17,No.4 311 - 322 2007
Research paper (scientific journal), Joint Work, Accepted
-
Completeness and Counter-Example Generations of a Basic Protocol Logic (extended abstract)
Mitsuhiro Okada, Koji Hasebe
6th International Workshop on Rule-Based Programming (RULE'05), volume 147 of Electronic Notes in Theoretical Computer Science to appear 73 - 92 2006
Research paper (international conference proceedings), Joint Work, Accepted
-
Intuithionistic phase semantics is almost classical.
Max I.Kanovich, Mitsuhiro Okada, and Kzushige Terui
Mathematical Structures in Computer Science, Vol.16, No.1 67 - 86 2006
Research paper (scientific journal), Joint Work, Accepted
-
Honesty Inferences for Proving Correctness of Security Protocols
Mitsuhiro Okada and Kouji Hasebe
Workshop on New Approaches to Software Construction (WNASC 2004) 45-57 2004.09
Research paper (international conference proceedings), Joint Work, Accepted
-
Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
Mitsuhiro Okada and Kouji Hasebe
Workshop on Foundations of Computer Security (FCS'04) 97-113 2004.07
Research paper (international conference proceedings), Joint Work, Accepted
-
Inferences on Honesty in Compositional Logic for Security Analysis
Mitsuhiro Okada and Kouji Hasebe
the International Symposium on Software Security 2003 (ISSS2003) 65-86 2004.06
Research paper (international conference proceedings), Joint Work, Accepted, ISSN 0302-9743
-
Linear Logic and Intuitionistic Logic
Mitsuhiro Okada
La revue International de philosphie ( 230 ) 449-481 2004
Research paper (scientific journal), Single Work, Accepted
-
「矛盾は矛盾か」 日本科学哲学会ラッセルパラドクス１００年特集
岡田 光弘
科学哲学 36 ( 2 ) 79-102 2004
Research paper (scientific journal), Single Work, Accepted
-
Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic
Koji Hasebe, Jean-Pierre Jouannaud, Antonie Kremer, Mitsuhiro Okada, and Roland Zumkeller
日本ソフトウェア科学会第20回全国大会予稿集 2003.09
Research paper (other academic), Joint Work
-
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic
Mitsuhiro Okada
Theoretical Computer Science 294 ( 3 ) 551 - 573 2003.02
Research paper (scientific journal), Joint Work, Accepted
-
Linear Logic
J.-Y. Girard, M. Okada, A. Scedrov (guest editors)
Theoretical Computer Science 294 ( 3 ) 2003.02
Research paper (scientific journal), Single Work, Accepted
-
Preface
Jean-Yves Girard, Mitsuhiro Okada, and Andre Scedrov.
Theoretical Computer Science 294 ( 3 ) 2003
Research paper (scientific journal), Joint Work
-
Phase Semantics for Light Linear Logic
M. Konovitch, A. Scedrov, Mitsuhiro Okada
Thoretical Computer Science 294 525-549 2003
Research paper (scientific journal), Joint Work, Accepted
-
A Graph-Theoretic Characterization for Proofs Nets of the Multiplicative Fragment of Non-Commutative Linear Logic
N. Nagayama, Mitsuhiro Okada
Theoretical Computer Science 294 ( 3 ) 551-573 2003
Research paper (scientific journal), Joint Work, Accepted