JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
R04) (Jun.2022 - Mar.2023 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/18048
|
Title: | 現存在の様相論理:エージェントの信念に対する内在的なアプローチ |
Authors: | 王, 心宇 |
Authors(alternative): | おう, しんう |
Keywords: | 様相論理 modal logic 現象学 phenomenology マルティン・ハイデッガー Martin Heidegger クリプキモデル Kripke model ヒルベルト流の証明系 Hilbert-style proof system 認識論的閉鎖 epistemic closure |
Issue Date: | Sep-2022 |
Description: | Supervisor:東条 敏 先端科学技術研究科 修士(情報科学) |
Title(English): | Modal Logic of Dasein: An Intrinsic Approach to Agents' Belief |
Authors(English): | Wang, Xinyu |
Language: | eng |
URI: | http://hdl.handle.net/10119/18048 |
Appears in Collections: | M-IS. 2022年度(R04) (Jun.2022 - Mar.2023)
|
Files in This Item:
File |
Description |
Size | Format |
abstract.pdf | | 47Kb | Adobe PDF | View/Open | paper.pdf | | 304Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|