@inbook{Carls2012,
author = {Koji Mineshima and Mitsuhiro Okada and Yuri Sato and Ryo Takemura},
date-added = {2014-12-25 07:02:27 +0000},
date-modified = {2014-12-25 08:01:41 +0000},
pages = {283-300},
publisher = {Keio University Press},
series = {CARLS Series of Advanced Study of Logic and Sensibility},
title = {Logic and cognition in reasoning with {E}uler diagrams: A relational perspective.},
volume = {5},
year = {2012}
}
@inbook{Carls2009,
author = {Koji Mineshima and Mitsuhiro Okada and Yuri Sato and Ryo Takemura},
booktitle = {CARLS Series of Advanced Study of Logic and Sensibility},
date-added = {2014-12-25 06:59:59 +0000},
date-modified = {2014-12-25 08:02:04 +0000},
pages = {387-402},
publisher = {Keio University Press},
title = {A report on {E}uler diagrammatic reasoning system: theory and experiment design.},
volume = {2},
year = {2009}
}
@article{Mine2009conservativity,
author = {Mineshima, Koji and Okada, Mitsuhiro and Takemura, Ryo},
date-added = {2014-12-25 06:59:11 +0000},
date-modified = {2014-12-25 08:02:13 +0000},
journal = {Proceedings of Visual Languages and Logic 2009},
pages = {37--61},
publisher = {Citeseer},
title = {Conservativity for a hierarchy of {E}uler and {V}enn reasoning systems},
year = {2009}
}
@article{MineSatoTakeOka14,
author = {Koji Mineshima and Yuri Sato and Ryo Takemura and Mitsuhiro Okada},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/vlc/MineshimaSTO14},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 08:01:30 +0000},
doi = {10.1016/j.jvlc.2013.08.007},
journal = {Journal of Visual Languages and Computing},
number = {3},
pages = {156--169},
timestamp = {Wed, 10 Sep 2014 09:09:53 +0200},
title = {Towards explaining the cognitive efficacy of {E}uler diagrams in syllogistic reasoning: {A} relational perspective},
url = {http://dx.doi.org/10.1016/j.jvlc.2013.08.007},
volume = {25},
year = {2014},
bdsk-url-1 = {http://dx.doi.org/10.1016/j.jvlc.2013.08.007}
}
@article{MariOka14,
author = {Mathieu Marion and Mitsuhiro Okada},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 06:46:32 +0000},
journal = {Grazer Philosophische Studien},
pages = {59--76},
title = {Wittgenstein on Equinumerosity and Surveyability},
volume = {89},
year = {2014}
}
@article{MariOka13,
author = {Mathieu Marion and Mitsuhiro Okada},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 06:46:32 +0000},
journal = {O Que Nos Faz Pensar},
month = {June},
pages = {50--79},
title = {Wittgenstein on contradiction and consistency: An overview},
volume = {33},
year = {2013}
}
@inproceedings{BanaOka13,
author = {Gergei Bana and Koji Hasebe and Mitsuhiro Okada},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/ccs/BanaHO13},
booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 07:26:49 +0000},
doi = {10.1145/2508859.2516710},
pages = {1231--1246},
timestamp = {Wed, 10 Sep 2014 09:12:58 +0200},
title = {Computationally complete symbolic attacker and key exchange},
url = {http://doi.acm.org/10.1145/2508859.2516710},
year = {2013},
bdsk-url-1 = {http://doi.acm.org/10.1145/2508859.2516710},
bdsk-url-2 = {http://dx.doi.org/10.1145/2508859.2516710}
}
@inproceedings{Okada13,
author = {Mitsuhiro Okada},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/rta/Okada13},
booktitle = {24th International Conference on Rewriting Techniques and Applications, {RTA} 2013, June 24-26, 2013, Eindhoven, The Netherlands},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 07:27:59 +0000},
doi = {10.4230/LIPIcs.RTA.2013.4},
pages = {4--19},
timestamp = {Wed, 10 Sep 2014 09:13:42 +0200},
title = {Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)},
url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2013.4},
year = {2013},
bdsk-url-1 = {http://dx.doi.org/10.4230/LIPIcs.RTA.2013.4}
}
@inproceedings{HastingsBO13,
author = {Janna Hastings and Colin R. Batchelor and Mitsuhiro Okada},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/shapes/HastingsBO13},
booktitle = {Proceedings of the Second Interdisciplinary Workshop The Shape of Things, Rio de Janeiro, Brazil, April 3-4, 2013},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 07:28:23 +0000},
pages = {83--94},
timestamp = {Wed, 10 Sep 2014 09:14:09 +0200},
title = {Shape Perception in Chemistry},
url = {http://ceur-ws.org/Vol-1007/paper6.pdf},
year = {2013},
bdsk-url-1 = {http://ceur-ws.org/Vol-1007/paper6.pdf}
}
@article{Ando13,
author = {Ando, Juko and Fujisawa, Keiko K and Shikishima, Chizuru and Hiraishi, Kai and Nozaki, Mari and Yamagata, Shinji and Takahashi, Yusuke and Ozaki, Koken and Suzuki, Kunitake and Deno, Minako and others},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 06:46:32 +0000},
journal = {Twin Research and Human Genetics},
number = {01},
pages = {202--216},
publisher = {Cambridge Univ Press},
title = {Two Cohort and Three Independent Anonymous Twin Projects at the Keio Twin Research Center (KoTReC)},
volume = {16},
year = {2013}
}
@article{MineOkaTake12E,
author = {Koji Mineshima and Mitsuhiro Okada and Ryo Takemura},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/jolli/MineshimaOT12},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 08:01:48 +0000},
doi = {10.1007/s10849-012-9160-6},
journal = {Journal of Logic, Language and Information},
number = {3},
pages = {365--391},
timestamp = {Wed, 10 Sep 2014 09:14:39 +0200},
title = {A Diagrammatic Inference System with {E}uler Circles},
url = {http://dx.doi.org/10.1007/s10849-012-9160-6},
volume = {21},
year = {2012},
bdsk-url-1 = {http://dx.doi.org/10.1007/s10849-012-9160-6}
}
@article{MineOkaTake12G,
author = {Koji Mineshima and Mitsuhiro Okada and Ryo Takemura},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/sLogica/MineshimaOT12},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 06:46:32 +0000},
doi = {10.1007/s11225-012-9428-5},
journal = {Studia Logica},
number = {4},
pages = {753--785},
timestamp = {Wed, 10 Sep 2014 09:15:17 +0200},
title = {A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations},
url = {http://dx.doi.org/10.1007/s11225-012-9428-5},
volume = {100},
year = {2012},
bdsk-url-1 = {http://dx.doi.org/10.1007/s11225-012-9428-5}
}
@inproceedings{MineSatoOka2012cog,
author = {Mineshima, Koji and Sato, Yuri and Takemura, Ryo and Okada, Mitsuhiro},
booktitle = {Proceedings of the 3rd international workshop on euler diagrams (euler diagrams 2012), CEUR Workshop Proceedings},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 08:01:54 +0000},
pages = {17--31},
title = {On the cognitive efficacy of {E}uler diagrams in syllogistic reasoning: A relational perspective},
volume = {854},
year = {2012}
}
@article{BanaHO10,
author = {Gergei Bana and Koji Hasebe and Mitsuhiro Okada},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/iacr/BanaHO10},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 06:46:32 +0000},
journal = {{IACR} Cryptology ePrint Archive},
pages = {80},
timestamp = {Wed, 10 Sep 2014 09:17:11 +0200},
title = {Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols},
url = {http://eprint.iacr.org/2010/080},
volume = {2010},
year = {2010},
bdsk-url-1 = {http://eprint.iacr.org/2010/080}
}
@inproceedings{MineOkaTake10,
author = {Koji Mineshima and Mitsuhiro Okada and Ryo Takemura},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/diagrams/MineshimaOT10},
booktitle = {Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},
date-added = {2014-12-25 06:46:32 +0000},
date-modified = {2014-12-25 07:28:40 +0000},
doi = {10.1007/978-3-642-14600-8_12},
pages = {99--114},
timestamp = {Wed, 10 Sep 2014 09:16:35 +0200},
title = {Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style},
url = {http://dx.doi.org/10.1007/978-3-642-14600-8_12},
year = {2010},
bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-14600-8_12}
}
@incollection{Oka09,
address = {Dordrect},
author = {Mitsuhiro Okada},
booktitle = {Phenomenology and Mathematics},
date-modified = {2014-12-25 03:40:12 +0000},
editor = {Mirja Helena Hartimo},
publisher = {Springer},
series = {Phaenomenologica},
title = {A Note on Husserl's Arguments for the Completeness of Arithmetic},
year = {2009}
}
@incollection{BanHasOka09,
author = {Gergei Bana and Koji Hasebe and Mitsuhiro Okada},
booktitle = {Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration},
editor = {V{\'e}ronique Cortier and Claude Kirchner and Mitsuhiro Okada and Hideki Sakurada},
month = {jun},
pages = {33--56},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols},
volume = {5458},
year = {2009}
}
@article{ShiHirYam09,
author = {Chizuru Shikishima and Kai Hiraishi and Shinji Yamagata and Yutaro Sugimoto and Ryo Takemura and Mitsuhiro Okada and Tatsushi Toda and Juko Ando},
journal = {Intelligence},
month = {may},
number = {3},
pages = {256--267},
title = {Is g an entity? {A} Japanese twin study using syllogisms and intelligence tests},
volume = {37},
year = {2009}
}
@proceedings{Oka09a,
editor = {Mitsuhiro Okada},
month = {mar},
organization = {Keio University Open Research Centre for Logic and Ontology},
publisher = {Keio University Press},
title = {Ontology and Phenomenology},
year = {2009}
}
@inproceedings{OkaNak09,
author = {Mitsuhiro Okada and Shigeyuki Nakayama},
booktitle = {Interdisciplinary Ontology vol.2},
crossref = {OkaSmi09},
title = {Husserlian ``Manifold'' and Tarskian ``Model'' for Formal Logic (Extended Abstract)}
}
@proceedings{OkaSmi09,
editor = {Mitsuhiro Okada and Barry Smith},
month = {feb},
title = {Interdisciplinary Ontology vol.2 (Proceedings of the Second Interdisciplinary Ontology Meeting, February 28th-March 1st, 2009, Tokyo)},
volume = {2},
year = {2009}
}
@inproceedings{Oka08b,
author = {Mitsuhiro Okada},
booktitle = {One Hundred Years of Intuitionism (1907--2007): The Cerisy Conference},
editor = {Mark van Atten and Pascal Boldini and Michel Bourdeau and Gerhard Heinzmann},
pages = {280--300},
publisher = {Birkh{\"a}user},
series = {Publications of the Henri Poincar{\'e} Archives},
title = {Some Remarks on Linear Logic},
year = {2008}
}
@inproceedings{MinOkaSat08,
author = {Koji Mineshima and Mitsuhiro Okada and Yuri Sato and Ryo Takemura},
booktitle = {Proceedings of Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008.},
date-modified = {2014-12-25 08:02:19 +0000},
editor = {Gem Stapleton and John Howse and John Lee},
pages = {188--205},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Diagrammatic Reasoning System with {E}uler Circles: Theory and Experiment Design},
volume = {5223},
year = {2008}
}
@proceedings{OkaSat06,
editor = {Mitsuhiro Okada and Ichiro Satoh},
publisher = {Springer},
title = {Advances in Computer Science - {ASIAN 2006}. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers},
volume = {4435},
year = {2008}
}
@incollection{Oka08c,
author = {Mitsuhiro Okada},
booktitle = {Interdisciplinary Logic},
crossref = {Oka08},
title = {Mapping-theory and Contextual-theory of Meaning: Husserl and Wittgenstein}
}
@book{Oka08,
editor = {Mitsuhiro Okada},
month = {mar},
publisher = {Keio University Press},
title = {Interdisciplinary Logic},
volume = {1},
year = {2008}
}
@article{Oka08a,
author = {Mitsuhiro Okada},
journal = {Annals of the Japan Association for Philosophy of Science},
month = {mar},
pages = {1--18},
title = {Some Remarks on Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic},
volume = {16},
year = {2008}
}
@book{OkaTakAnd08,
address = {Tokyo},
editor = {Mitsuhiro Okada and Ryo Takemura and Juko Ando},
month = {mar},
publisher = {Keio University Press},
title = {Reports on Interdisciplinary Logical Reasoning Studies},
year = {2008}
}
@incollection{SatTakMin08,
author = {Yuri Sato and Ryo Takemura and Koji Mineshima and Chizuru Shikishima and Yutaro Sugimoto and Juko Ando and Mitsuhiro Okada},
booktitle = {Reports on Interdisciplinary Logical Reasoning Studies},
crossref = {OkaTakAnd08},
pages = {3--32},
title = {Some Remarks on Deductive Syllogistic Reasoning Studies; Towards an Integrated Methodology of Logical and Psychological Approaches}
}
@incollection{OkaSmiSug08,
author = {Mitsuhiro Okada and Barry Smith and Yutaro Sugimoto},
booktitle = {Interdisciplinary Ontology},
crossref = {OkaSmi08},
pages = {127--138},
title = {Remarks on Logic for Process Descriptions in Ontological Reasoning: A Drug Interaction Ontology (DIO) Case Study}
}
@proceedings{OkaSmi08,
address = {Tokyo},
editor = {Mitsuhiro Okada and Barry Smith},
month = {feb},
organization = {Keio University Open Research Centre for Logic and Ontology},
publisher = {Keio University Press},
title = {Interdisciplinary Ontology (Proceedings of the First Interdisciplinary Ontology Meeting, February 26th-27th, 2008, Tokyo)},
year = {2008}
}
@inproceedings{BanHasOka07,
author = {Gergei Bana and Koji Hasebe and Mitsuhiro Okada},
booktitle = {Advances in Computer Science -- {ASIAN} 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings},
editor = {Iliano Cervesato},
month = {dec},
pages = {86--94},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Computational Semantics for Basic Protocol Logic -- A Stochastic Approach},
volume = {4846},
year = {2007}
}
@inproceedings{OkaTak07a,
author = {Mitsuhiro Okada and Ryo Takemura},
booktitle = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday},
editor = {Hubert Comon-Lundh and Claude Kirchner and H{\'e}l{\`e}ne Kirchner},
month = {aug},
pages = {167--181},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic {$\lambda$}-Calculus},
volume = {4600},
year = {2007}
}
@incollection{Oka07d,
author = {Mitsuhiro Okada},
crossref = {Oka07a},
pages = {121--131},
title = {On Wittgenstein's Remarks on Recursive Proofs: A Preliminary Report}
}
@incollection{OkaTak07,
author = {Mitsuhiro Okada and Ryo Takemura},
booktitle = {Essays in the Foundations of Logical and Phenomenological Studies},
crossref = {Oka07a},
pages = {153--167},
title = {A New Proof-Theoretical View on an Old ``Dialogue Logic''}
}
@book{Oka07a,
editor = {Mitsuhiro Okada},
month = {mar},
publisher = {Keio University Press},
series = {Interdisciplinary Conference Series on Reasoning Studies},
title = {Essays in the Foundations of Logical and Phenomenological Studies},
volume = {3},
year = {2007}
}
@article{KusOka07,
author = {Hirohiko Kushida and Mitsuhiro Okada},
journal = {Journal of Logic, Language and Information},
month = {jan},
number = {1},
pages = {35--61},
title = {A Proof-theoretic Study of the Correspondence of Hybrid Logic and Classical Logic},
volume = {16},
year = {2007}
}
@inproceedings{OkaSugYos06,
author = {Mitsuhiro Okada and Yutaro Sugimoto and Sumi Yoshikawa and Akihiko Konagaya},
booktitle = {Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday},
editor = {Kokichi Futatsugi and Jean-Pierre Jouannaud and Jos{\'e} Meseguer},
month = {jun},
pages = {616--642},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Drug Interaction Ontology ({DIO}) and the Resource-Sensitive Logical Inferences},
volume = {4060},
year = {2006}
}
@inproceedings{HasOka06,
author = {Koji Hasebe and Mitsuhiro Okada},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming ({RULE} 2005)},
month = {apr},
number = {1},
pages = {73--92},
publisher = {Elsevier},
series = {Electronic Notes in Theoretical Computer Science},
title = {Completeness and Counter-Example Generations of a Basic Protocol Logic (Extended Abstract)},
volume = {147},
year = {2006}
}
@inproceedings{TsuOkaWat06,
author = {Takeo Tsujii and Mitsuhiro Okada and Shigeru Watanabe},
crossref = {AndOgaOka06},
title = {Cognitive Neuroscience for Deductive Reasoning and Inhibitory Mechanism: On the Belief-Bias Effect}
}
@inproceedings{AndShiHir06,
author = {Juko Ando and Chizuru Shikishima and Kai Hiraishi and Yutaro Sugimoto and Ryo Takemura and Mitsuhiro Okada},
crossref = {AndOgaOka06},
pages = {19--36},
title = {At the Crossroads of Logic, Psychology, and Behavioral Genetics: Development of the Deductive Reasoning Test in the Keio Twin-BAROCO Project}
}
@proceedings{AndOgaOka06,
address = {Tokyo},
editor = {Daniel Andler and Yoshinori Ogawa and Mitsuhiro Okada and Shigeru Watanabe},
month = {mar},
publisher = {Keio University Press},
title = {Reasoning and Cognition: Proceedings of the Interdisciplinary Conference on Reasoning and Cognition (Tokyo, Dec. 2005)},
volume = {2},
year = {2006}
}
@incollection{Oka06b,
author = {Mitsuhiro Okada},
booktitle = {Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic},
crossref = {Oka06},
date-modified = {2014-12-25 07:31:04 +0000},
pages = {185--229},
title = {A Linear Logical View of Intuitionistic Logic}
}
@incollection{Oka06a,
author = {Mitsuhiro Okada},
booktitle = {Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic},
crossref = {Oka06},
date-modified = {2014-12-25 07:30:58 +0000},
pages = {127--184},
title = {Hilbert School and Husserl on the Foundations of Mathematics: Consistency Problem and Evidence Theory}
}
@book{Oka06,
address = {Tokyo},
date-modified = {2014-12-25 07:30:45 +0000},
editor = {Mitsuhiro Okada},
month = {mar},
publisher = {Keio University Press},
title = {Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic},
year = {2006}
}
@article{KanOkaTer06,
author = {Max I. Kanovich and Mitsuhiro Okada and Kazushige Terui},
journal = {Mathematical Structures in Computer Science},
month = {feb},
number = {1},
pages = {67--86},
title = {Intuitionistic phase semantics is almost classical},
volume = {16},
year = {2006}
}
@incollection{ShiAndGri05,
author = {Chizuru Shikishima and Juko Ando and Pierre Grialou and Ryo Takemura and Mitsuhiro Okada},
crossref = {GriLonOka05},
pages = {69--85},
title = {A Behavioural Genetic Study of Syllogism Solving Using Linguistic and Graphical Representations: A Preliminary Report}
}
@incollection{GriOka05,
author = {Pierre Grialou and Mitsuhiro Okada},
crossref = {GriLonOka05},
pages = {31--67},
title = {Questions on Two Cognitive Models of Deductive Reasoning}
}
@proceedings{GriLonOka05,
editor = {Pierre Grialou and Giuseppe Longo and Mitsuhiro Okada},
month = {mar},
organization = {The Ecole Normale Sup{\'e}rieure of Paris and Keio University of Tokyo},
publisher = {Keio University Press},
title = {Images and Reasoning: Proceedings of the Interdisciplinary Conference on Images, Reason and Reasoning (Paris, Mar. 2004)},
volume = {1},
year = {2005}
}
@inproceedings{HO04b,
address = {Tokyo},
author = {Koji Hasebe and Mitsuhiro Okada},
booktitle = {Workshop on New Approaches to Software Construction ({WNASC} 2004)},
month = {sep},
pages = {45--57},
title = {Honesty Inferences for Proving Correctness of Security Protocols},
year = {2004}
}
@inproceedings{HO04a,
address = {Tukuru, Finland},
author = {Koji Hasebe and Mitsuhiro Okada},
booktitle = {Workshop on Foundations of Computer Security ({FCS}'04)},
editor = {Andrei Sabelfeld},
month = {jun},
number = {31},
pages = {97--113},
series = {TUCS General Publication},
title = {Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic},
year = {2004}
}
@inproceedings{HasOka04,
author = {Koji Hasebe and Mitsuhiro Okada},
booktitle = {Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers},
editor = {Kokichi Futatsugi and Fumio Mizoguchi and Naoki Yonezaki},
month = {jun},
pages = {65--86},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Inferences on Honesty in Compositional Logic for Protocol Analysis},
volume = {3233},
year = {2004}
}
@incollection{Oka04a,
author = {Mitsuhiro Okada},
booktitle = {Husserl et Wittgenstein: de la description de l'exp{\'e}rience {\`a} la ph{\'e}nom{\'e}nologie linguistique},
editor = {Jocelyn Benoist and Sandra Laugier},
pages = {27--69},
publisher = {Georg Olms Verlag},
title = {Correspondence-theory and Contextual-theory of Meaning in Husserl and Wittgenstein},
year = {2004}
}
@article{Oka04,
author = {Mitsuhiro Okada},
journal = {La revie internationale de philosophe},
number = {230},
pages = {449--481},
title = {Linear Logic and Intuitionistic Logic},
year = {2004}
}
@inproceedings{HasJouKre03,
author = {Koji Hasebe and Jean-Pierre Jouannaud and Antonie Kremer and Mitsuhiro Okada and Roland Zumkeller},
booktitle = {日本ソフトウェア科学会第20回全国大会予稿集},
month = {sep},
pages = {5},
title = {Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic},
year = {2003}
}
@article{KO03,
author = {Hirohiko Kushida and Mitsuhiro Okada},
journal = {Journal of Symbolic Logic},
number = {4},
pages = {1403--1414},
title = {A Proof-theoretic Study of the Correspondence of Classical Logic and Modal Logic},
volume = {68},
year = {2003}
}
@inproceedings{HasCreJou03,
address = {Warsaw, Poland},
author = {Koji Hasebe and V. Cremet and Jean-Pierre Jouannaud and Antonie Kremer and Mitsuhiro Okada},
booktitle = {International Workshop on Automated Verification of Infinite-State Systems},
month = {apr},
pages = {12},
title = {{FATALIS}: Real Time Processes as Linear Logic Specifications},
year = {2003}
}
@article{GirOkaSce03,
author = {Jean-Yves Girard and Mitsuhiro Okada and Andre Scedrov},
journal = {Theoretical Computer Science},
month = {feb},
number = {3},
pages = {333},
title = {Preface},
volume = {294},
year = {2003}
}
@article{KanOkaSce03,
author = {Max I. Kanovich and Mitsuhiro Okada and Andre Scedrov},
journal = {Theoretical Computer Science},
month = {feb},
number = {3},
pages = {525--549},
title = {Phase semantics for light linear logic},
volume = {294},
year = {2003}
}
@article{NagOka03,
author = {Misao Nagayama and Mitsuhiro Okada},
journal = {Theoretical Computer Science},
month = {feb},
number = {3},
pages = {551--573},
title = {A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic},
volume = {294},
year = {2003}
}
@proceedings{OkaPieSce03,
editor = {Mitsuhiro Okada and Benjamin C. Pierce and Andre Scedrov and Hideyuki Tokuda and Akinori Yonezawa},
month = {feb},
publisher = {Springer},
title = {Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8--10, 2002 Revised Papers},
volume = {2609},
year = {2003}
}
@inproceedings{HasOka03,
author = {Koji Hasebe and Mitsuhiro Okada},
crossref = {OkaPieSce03},
pages = {357--367},
title = {A Logical Verification Method for Security Protocols Based on Linear Logic and {BAN} Logic}
}
@article{Oka02,
author = {Mitsuhiro Okada},
journal = {Theoretical Computer Science},
month = {jun},
number = {1-2},
pages = {471--498},
title = {A uniform semantic proof for cut-elimination and completeness of various first and higher order logics},
volume = {281},
year = {2002}
}
@article{BlaJouOka02,
author = {Fr{\'e}d{\'e}ric Blanqui and Jean-Pierre Jouannaud and Mitsuhiro Okada},
journal = {Theoretical Computer Science},
month = {feb},
number = {1--2},
pages = {41--68},
title = {Inductive-data-type systems},
volume = {272},
year = {2002}
}
@article{DezOkaTak02,
author = {Mariangiola Dezani-Ciancaglini and Mitsuhiro Okada and Masako Takahashi},
journal = {Theoretical Computer Science},
month = {feb},
number = {1--2},
pages = {1--2},
title = {Preface},
volume = {272},
year = {2002}
}
@inproceedings{Oka02e,
author = {Mitsuhiro Okada},
booktitle = {Progress in Discovery Science, Final Report of the Japanese Discovery Science Project},
editor = {Setsuo Arikawa and Ayumi Shinohara},
month = {jan},
pages = {40--77},
series = {Lecture Notes in Computer Science},
title = {Ideal Concepts, Intuitions, and Mathematical Knowledge Acquisitions in Husserl and Hilbert (A Preliminary Report)},
volume = {2281},
year = {2002}
}
@article{NagOka01,
author = {Misao Nagayama and Mitsuhiro Okada},
journal = {Journal of Symbolic Logic},
month = {dec},
number = {4},
pages = {1524--1542},
title = {A New Correctness Criterion for The Proof Nets of Non-Commutative Multiplicative Linear Logics},
volume = {66},
year = {2001}
}
@article{Oka99b,
author = {Mitsuhiro Okada},
journal = {Theoretical Computer Science},
month = {sep},
number = {1--2},
pages = {333--396},
title = {Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic},
volume = {227},
year = {1999}
}
@article{OkaTer99,
author = {Mitsuhiro Okada and Kazushige Terui},
journal = {Journal of Symbolic Logic},
month = {jun},
number = {2},
pages = {790--802},
title = {The Finite Model Property for Various Fragments of Intuitionistic Linear Logic},
volume = {64},
year = {1999}
}
@article{OkaSco99,
author = {Mitsuhiro Okada and Philip J. Scott},
journal = {Theory and Applications of Categories},
number = {4},
pages = {47--64},
title = {A Note on Rewriting Theory for Uniqueness of Iteration},
volume = {6},
year = {1999}
}
@inproceedings{BlaJouOka99,
author = {Fr{\'e}d{\'e}ric Blanqui and Jean-Pierre Jouannaud and Mitsuhiro Okada},
booktitle = {Rewriting Techniques and Applications, 10th International Conference, RTA-99 Trento, Italy, July 2--4, 1999 Proceedings},
editor = {Paliath Narendran and Micha{\"e}l Rusinowitch},
pages = {301--316},
series = {Lecture Notes in Computer Science},
title = {The Calculus of algebraic Constructions},
volume = {1631},
year = {1999}
}
@incollection{Oka98,
author = {Mitsuhiro Okada},
crossref = {TakOkaDez98},
pages = {255--295},
title = {An Introduction to Linear Logic: Phase Semantics and Expressiveness}
}
@book{TakOkaDez98,
editor = {Masako Takahashi and Mitsuhiro Okada and Mariangiola Dezani-Ciancaglini},
publisher = {Mathematical Society of Japan},
series = {Memoirs of Mathematical Society of Japan},
title = {Theories of types and proofs},
volume = {2},
year = {1998}
}
@inproceedings{OkaTer98,
author = {Mitsuhiro Okada and Kazushige Terui},
booktitle = {RIMS Koukyuroku 1023: Type theory and its applications to computer systems},
editor = {J. Garrigue},
pages = {57--75},
publisher = {Research Institute for Mathematical Sciences, Kyoto University},
title = {Completeness Proofs for Linear Logic Based on the Proof Search Method (Preliminary Report)},
year = {1998}
}
@inproceedings{KanOkaSce98,
author = {Max I. Kanovich and Mitsuhiro Okada and Andre Scedrov},
booktitle = {{COTIC} '98, Second workshop on concurrent constraint programming for time critical applications and multi-agent systems (Satellite Workshop of {CONCUR} '98)},
number = {1},
pages = {42--59},
series = {Electronic Notes in Theoretical Computer Science},
title = {Specifying Real-Time Finite-State Systems in Linear Logic (Extended Abstract)},
volume = {16},
year = {1998}
}
@article{HamOka98,
author = {Masahiro Hamano and Mitsuhiro Okada},
journal = {Archive for Mathematical Logic},
month = {mar},
number = {2},
pages = {67--89},
title = {A direct independence proof of Buchholz's Hydra Game on finite labeled trees},
volume = {37},
year = {1998}
}
@inproceedings{KanOkaSce97,
author = {Max I. Kanovich and Mitsuhiro Okada and Andre Scedrov},
booktitle = {{MFPS XIII}, Mathematical Foundations of Progamming Semantics, Thirteenth Annual Conference},
editor = {S. Brookes and M. Mislove},
month = {apr},
pages = {221--234},
series = {Electronic Notes in Theoretical Computer Science},
title = {Phase Semantics for Light Linear Logic (Extended Abstract)},
volume = {6},
year = {1997}
}
@inproceedings{HamOka97,
author = {Masahiro Hamano and Mitsuhiro Okada},
booktitle = {RIMS Koukyuroku 976: Proceedings of the Symposium on Proof Theory and Ordinals},
editor = {Toshiyasu Arai},
month = {feb},
pages = {169--181},
publisher = {Research Institute for Mathematical Sciences, Kyoto University},
title = {A Hierarchy of the Fragments of the System of Inductive Definition : Preliminary Report},
year = {1997}
}
@inproceedings{OkaTer97a,
author = {Mitsuhiro Okada and Kazushige Terui},
booktitle = {RIMS Koukyuroku 976: Proceedings of the Symposium on Proof Theory and Ordinals},
editor = {Toshiyasu Arai},
month = {feb},
pages = {146--168},
publisher = {Research Institute for Mathematical Sciences, Kyoto University},
title = {Semantic Characterizations for Reachability and Trace Equivalence in a Linear Logic-Based Process Calculus : Preliminary Report},
year = {1997}
}
@inproceedings{NagOka97,
author = {Misao Nagayama and Mitsuhiro Okada},
booktitle = {RIMS Koukyuroku 976: Proceedings of the Symposium on Proof Theory and Ordinals},
editor = {Toshiyasu Arai},
month = {feb},
pages = {55--69},
publisher = {Research Institute for Mathematical Sciences, Kyoto University},
title = {Characterization Theorems for Multiplicative Fragment of Intuitionistic Non-Commutative Linear Logic : Preliminary Report},
year = {1997}
}
@article{JouOka97,
author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
journal = {Theoretical Computer Science},
month = {feb},
number = {2},
pages = {349--391},
title = {Abstract data type systems},
volume = {173},
year = {1997}
}
@article{HamOka97a,
author = {Masahiro Hamano and Mitsuhiro Okada},
journal = {Mathematical Logic Quarterly},
month = {feb},
number = {1},
pages = {103--120},
title = {A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game},
volume = {43},
year = {1997}
}
@proceedings{GirOkaSce96,
editor = {Jean-Yves Girard and Mitsuhiro Okada and Andre Scedrov},
title = {Linear Logic 96 Tokyo Meeting, Mita Campus, Keio University, Tokyo, Japan 29 March-02 April 1996},
volume = {3},
year = {1996}
}
@inproceedings{NagOka96,
author = {Misao Nagayama and Mitsuhiro Okada},
crossref = {GirOkaSce96},
pages = {153},
title = {A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic}
}
@inproceedings{GirOkaSce96a,
author = {Jean-Yves Girard and Mitsuhiro Okada and Andre Scedrov},
crossref = {GirOkaSce96},
pages = {1},
title = {Preface}
}
@inproceedings{Oka96,
author = {Mitsuhiro Okada},
crossref = {GirOkaSce96},
pages = {154},
title = {Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs}
}
@inproceedings{NagOka95,
author = {Misao Nagayama and Mitsuhiro Okada},
booktitle = {RIMS Kokyuroku 927: Proceedings of Symposium on Kripke Models and Non-Standard Logic},
month = {nov},
pages = {66--87},
publisher = {Research Institute for Mathematical Sciences, Kyoto University},
title = {A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic(Preliminary Report)(Non-Classical Logics and Their Kripke Semantics)},
year = {1995}
}
@inproceedings{HamOka95,
author = {Masahiro Hamano and Mitsuhiro Okada},
booktitle = {RIMS Kokyuroku 912},
month = {may},
pages = {64--81},
publisher = {Research Institute for Mathematical Sciences, Kyoto University},
title = {A Relationship among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game, and Buchholz's Hydra Game(Preliminary Report)(Mathematical Incompleteness in Arithmetic)},
year = {1995}
}
@article{Oka94,
author = {Mitsuhiro Okada},
journal = {Philosophy},
pages = {1--14},
title = {A Note on the Strong Normalizability of the Self-Referential Logic},
volume = {95},
year = {1994}
}
@inproceedings{GuiOka93a,
author = {Yexuan Gui and Mitsuhiro Okada},
booktitle = {Rewriting Techniques and Applications, 5th International Conference, RTA-93 Montreal, Canada, June 16--18, 1993 Proceedings},
editor = {Claude Kirchner},
month = {jun},
pages = {462--466},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{LAMBDALG}: Higher Order Algebraic Specification Language},
volume = {690},
year = {1993}
}
@inproceedings{GuiOka93,
author = {Yexuan Gui and Mitsuhiro Okada},
booktitle = {Logic Programming and Automated Reasoning, 4th International Conference, {LPAR}'93 St. Petersburg, Russia, July 13--20, 1993 Proceedings},
editor = {Andrei Voronkov},
month = {jun},
pages = {354--356},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {System Description of {LAMBDALG} - A Higher Order Algebraic Specification Language},
volume = {698},
year = {1993}
}
@inproceedings{OkaSco92,
author = {Mitsuhiro Okada and Philip J. Scott},
booktitle = {Proceedings of the Montreal Workshop on Programming Language Theory},
month = {jan},
pages = {20--28},
publisher = {Concordia University Press},
series = {Logic and Formal Methods Series 2},
title = {Rewriting Theory for the Uniqueness Condition of Higher Types},
year = {1992}
}
@inproceedings{JouOka91a,
author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science ({LICS} '91)},
month = {jul},
pages = {350--361},
publisher = {{IEEE} Press},
title = {A Computation Model for Executable Higher-Order Algebraic Specification Languages},
year = {1991}
}
@inproceedings{JouOka91,
author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
booktitle = {Automata, Languages and Programming, 18th International Colloquium Madrid, Spain, July 8--12, 1991 Proceedings},
editor = {Javier Leach Albert and Burkhard Monien and Mario Rodr{\'\i}guez-Artalejo},
month = {jun},
pages = {455--468},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Satisfiability of Systems of Ordinal Notations with the Subterm Property is Decidable},
volume = {510},
year = {1991}
}
@proceedings{KapOka91,
editor = {St{\'e}phane Kaplan and Mitsuhiro Okada},
publisher = {Springer},
title = {Conditional and Typed Rewriting Systems, 2nd International {CTRS} Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
volume = {516},
year = {1991}
}
@article{DerOka90,
author = {Nachum Dershowitz and Mitsuhiro Okada},
journal = {Theoretical Computer Science},
number = {1--2},
pages = {111--138},
title = {A Rationale for Conditional Equational Programming},
volume = {75},
year = {1990}
}
@inproceedings{OkaSte89,
author = {Mitsuhiro Okada and Adam Steele},
booktitle = {Proc. 29th Allerton Conference on Communication, Control and Computing, Allerton, IL},
month = {oct},
publisher = {University of Illinois Press},
title = {Ordering Structures and the Knuth-Bendix Completion Algorithm},
year = {1989}
}
@inproceedings{GoyOkaQu89,
author = {Pankaj Goyal and Mitsuhiro Okada and Yan-Zhen Qu and Fereidoon Sadri},
booktitle = {Proceedings of Advanced Database Systems Symposium '89, Kyoto, December 1989},
month = {aug},
title = {Temporal Object-Oriented Databases},
year = {1989}
}
@inproceedings{Oka89,
address = {New York, NY, USA},
author = {Mitsuhiro Okada},
booktitle = {{ISSAC} '89: Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation},
editor = {G. H. Gonnet},
pages = {357--363},
publisher = {ACM},
title = {Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System},
year = {1989}
}
@article{Oka89a,
author = {Mitsuhiro Okada},
journal = {Annals of the Japan Association for Philosophy of Science},
month = {mar},
number = {4},
pages = {163--172},
title = {Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants},
volume = {7},
year = {1989}
}
@inproceedings{DerOka88,
author = {Nachum Dershowitz and Mitsuhiro Okada},
booktitle = {Fifth Generation Computer Systems 1988, Proceedings of the International Conference on Fifth Generation Computer Systems 1988, Tokyo, Japan, November 28-December 2},
month = {dec},
pages = {337--346},
publisher = {OHMSHA Ltd. Tokyo and Springer-Verlag},
title = {Conditional Equational Programming and the Theory of Conditional Term Rewriting},
year = {1988}
}
@inproceedings{DerOkaSiv88,
author = {Nachum Dershowitz and Mitsuhiro Okada and G. Sivakumar},
booktitle = {Conditional Term Rewriting Systems, 1st International Workshop Orsay, France, July 8--10, 1987 Proceedings},
editor = {St{\'e}phane Kaplan and Jean-Pierre Jouannaud},
month = {aug},
pages = {31--44},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Confluence of Conditional Rewrite Systems},
volume = {308},
year = {1988}
}
@inproceedings{Oka88,
author = {Mitsuhiro Okada},
booktitle = {Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings},
editor = {St{\'e}phane Kaplan and Jean-Pierre Jouannaud},
month = {aug},
pages = {179--196},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {A Logical Analysis on Theory of Conditional Rewriting (Preliminary Report)},
volume = {308},
year = {1988}
}
@inproceedings{DerOka88a,
author = {Nachum Dershowitz and Mitsuhiro Okada},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science},
month = {jul},
pages = {104--111},
publisher = {IEEE Computer Society},
title = {Proof-Theoretic Techniques for Term Rewriting Theory},
year = {1988}
}
@inproceedings{DerOkaSiv88a,
author = {Nachum Dershowitz and Mitsuhiro Okada and G. Sivakumar},
booktitle = {9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23--26, 1988 Proceedings},
editor = {Ewing L. Lusk and Ross A. Overbeek},
month = {jul},
pages = {538--549},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Canonical Conditional Rewrite Systems},
volume = {310},
year = {1988}
}
@inproceedings{Oka88a,
author = {Mitsuhiro Okada},
booktitle = {Proc. European Workshop on Logical Methods in AI, Roscoff, France},
title = {Prolog with Modality},
year = {1988}
}
@article{Oka88b,
author = {Mitsuhiro Okada},
journal = {European Journal of Combinatorics},
month = {may},
number = {3},
pages = {249--253},
title = {Note on a proof of the extended Kirby-Paris theorem on labeled finite trees},
volume = {9},
year = {1988}
}
@article{Oka88c,
author = {Mitsuhiro Okada},
journal = {Journal of Symbolic Logic},
month = {mar},
number = {1},
pages = {200--211},
title = {On a Theory of Weak Implications},
volume = {53},
year = {1988}
}
@article{Oka87d,
author = {Mitsuhiro Okada},
journal = {Studia Logica},
month = {dec},
number = {4},
pages = {371--382},
title = {A Weak Intuitionistic Propositional Logic with Purely Constructive Implication},
volume = {46},
year = {1987}
}
@article{Oka87c,
author = {Mitsuhiro Okada},
journal = {Journal of Symbolic Logic},
month = {sep},
number = {3},
pages = {577--581},
title = {A Simple Relationship between Buchholz's New System of Ordinal Notations and Takeuti's System of Ordinal Diagrams},
volume = {52},
year = {1987}
}
@techreport{Oka87,
author = {Mitsuhiro Okada},
institution = {American Mathematical Scoiety},
month = {aug},
title = {Finite Combinatorics},
type = {Combinatorics},
year = {1987}
}
@inproceedings{OkaTak87,
author = {Mitsuhiro Okada and Gaisi Takeuti},
booktitle = {Logic and Combinatorics (Proceedings of a Summer Research Conference held August 4-10, 1985)},
editor = {Stephen G. Simpson},
pages = {295--308},
publisher = {American Mathematical Society},
series = {Contemporary Mathematics},
title = {On the Theory of Quasi-Ordinal Diagram},
volume = {65},
year = {1987}
}
This file was generated by bibtex2html 1.98.
Last Update: 2014-12-27