論文 - 岡田 光弘
-
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年
研究論文（学術雑誌）, 単著, 査読有り
-
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年
研究論文（学術雑誌）, 共著, 査読有り
-
フッサール、ゲーデルから線形論理へ.
岡田光弘
「現代思想」Vol.35, No.3 149 - 163 2007年02月
研究論文（学術雑誌）, 単著
-
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年
研究論文（学術雑誌）, 共著, 査読有り
-
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年
研究論文（学術雑誌）, 共著, 査読有り
-
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年
研究論文（学術雑誌）, 共著, 査読有り
-
BAN論理からprotocol composition logicへ：セキュリティプロトコルの老理的検証法
長谷部浩二、岡田光弘.
応用数理、Vol.17,No.4 311 - 322 2007年
研究論文（学術雑誌）, 共著, 査読有り
-
Completeness and Counter-Example Generations of a Basic Protocol Logic (extended abstract)
岡田 光弘，長谷部 浩二
6th International Workshop on Rule-Based Programming (RULE'05), volume 147 of Electronic Notes in Theoretical Computer Science to appear 73 - 92 2006年
研究論文（国際会議プロシーディングス）, 共著, 査読有り
-
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年
研究論文（学術雑誌）, 共著, 査読有り
-
Honesty Inferences for Proving Correctness of Security Protocols
岡田 光弘，長谷部 浩二
Workshop on New Approaches to Software Construction (WNASC 2004) 45-57 2004年09月
研究論文（国際会議プロシーディングス）, 共著, 査読有り
-
Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
岡田 光弘，長谷部 浩二
Workshop on Foundations of Computer Security (FCS'04) 97-113 2004年07月
研究論文（国際会議プロシーディングス）, 共著, 査読有り
-
Inferences on Honesty in Compositional Logic for Security Analysis
岡田 光弘，長谷部 浩二
the International Symposium on Software Security 2003 (ISSS2003) 65-86 2004年06月
研究論文（国際会議プロシーディングス）, 共著, 査読有り, ISSN 0302-9743
-
Linear Logic and Intuitionistic Logic
Mitsuhiro Okada
La revue International de philosphie （ 230 ） 449-481 2004年
研究論文（学術雑誌）, 単著, 査読有り
-
「矛盾は矛盾か」 日本科学哲学会ラッセルパラドクス１００年特集
岡田 光弘
科学哲学 36 （ 2 ） 79-102 2004年
研究論文（学術雑誌）, 単著, 査読有り
-
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月
研究論文（その他学術会議資料等）, 共著
-
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic
Mitsuhiro Okada
Theoretical Computer Science 294 （ 3 ） 551 - 573 2003年02月
研究論文（学術雑誌）, 共著, 査読有り
-
Linear Logic
J.-Y. Girard, M. Okada, A. Scedrov (guest editors)
Theoretical Computer Science 294 （ 3 ） 2003年02月
研究論文（学術雑誌）, 単著, 査読有り
-
Preface
Jean-Yves Girard, Mitsuhiro Okada, and Andre Scedrov.
Theoretical Computer Science 294 （ 3 ） 2003年
研究論文（学術雑誌）, 共著
-
Phase Semantics for Light Linear Logic
M. Konovitch, A. Scedrov, Mitsuhiro Okada
Thoretical Computer Science 294 525-549 2003年
研究論文（学術雑誌）, 共著, 査読有り
-
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年
研究論文（学術雑誌）, 共著, 査読有り