|
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.
|
