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 SizeFormat
abstract.pdf47KbAdobe PDFView/Open
paper.pdf304KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology