Proof-Theoretic Study of Epistemic Logic from an Intuitionistic Viewpoint [an abstract of dissertation and a summary of dissertation review]

蘇, 有安

2022

Permalink : https://hdl.handle.net/2115/85441

このアイテムのアクセス数:372件（2026-01-17 16:17 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
Youan_Su_abstract	pdf	191 KB	214	論文内容の要旨
Youan_Su_review	pdf	216 KB	193	審査の要旨

アクセス権	open access
URI	https://hdl.handle.net/2115/85441
タイトル	Proof-Theoretic Study of Epistemic Logic from an Intuitionistic Viewpoint [an abstract of dissertation and a summary of dissertation review]
タイトル	直観主義的観点からの認識論理の証明論的研究 [論文内容及び審査の要旨]
著者	著者名蘇, 有安
言語	日本語
発行日	2022-03-24
出版者	Hokkaido University
学位授与機関	識別子 10101 機関名北海道大学 Hokkaido University
学位授与番号	甲第15063号
学位名	博士(文学)
学位の審査委員	(主査) 准教授佐野勝彦, 教授藏田伸雄, 教授佐藤知己, 准教授鹿島亮（東京工業大学）
学位審査の研究科等	文学研究科（思想文化学専攻）
資源タイプ	博士論文
出版タイプ	Version of Record
権利情報	Creative Commons Attribution 4.0 International
関連情報 (references)	HDL https://hdl.handle.net/2115/85442