Department of Philosophy

Filter
Chapter

Search results

  • A logical verification method for security protocols based on linear logic and BAN logic

    Hasebe, K. & Okada, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Okada, M., Pierce, B. C., Scedrov, A., Tokuda, H. & Yonezawa, A. (eds.). Springer Verlag, p. 417-440 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2609).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2 Citations (Scopus)
  • Ideal concepts, intuitions, and mathematical knowledge acquisitions in Husserl and Hilbert

    Okada, M., 2002 Dec 1, Progress in Discovery Science. Arikawa, S. & Shinohara, A. (eds.). p. 40-77 38 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2281).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Wittgenstein on equinumerosity and surveyability

    Marion, M. & Okada, M., 2014 Dec 19, Themes from Wittgenstein and Quine. Brill, Vol. 89. p. 61-78 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2 Citations (Scopus)