ダウンロード数: 508
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| yrigk04244.pdf | Abstract_要旨 | 174.08 kB | Adobe PDF | 見る/開く |
| grigk04244.pdf | Digest_要約 | 136.85 kB | Adobe PDF | 見る/開く |
| drigk04244.pdf | Dissertation_全文 | 895.87 kB | Adobe PDF | 見る/開く |
| タイトル: | A General Framework for Dynamic Epistemic Logic |
| その他のタイトル: | 動的認識論理のための一般的枠組み |
| 著者: | Motoura, Shota |
| 著者名の別形: | 本浦, 庄太 |
| キーワード: | modal logic dynamic epistemic logic general framework global operator modal correspondence |
| 発行日: | 23-Mar-2017 |
| 出版者: | 京都大学 (Kyoto University) |
| 学位授与大学: | 京都大学 |
| 学位の種類: | 新制・課程博士 |
| 取得分野: | 博士(理学) |
| 報告番号: | 甲第20159号 |
| 学位記番号: | 理博第4244号 |
| 学位授与年月日: | 2017-03-23 |
| 請求記号: | 新制||理||1610(附属図書館) |
| 研究科・専攻: | 京都大学大学院理学研究科数学・数理解析専攻 |
| 論文調査委員: | (主査)准教授 照井 一成, 教授 岡本 久, 教授 長谷川 真人 |
| 学位授与の要件: | 学位規則第4条第1項該当 |
| 著作権等: | 学位規則第9条第2項により要約公開 許諾条件により本文は2017-10-13に公開 |
| DOI: | 10.14989/doctor.k20159 |
| URI: | http://hdl.handle.net/2433/225384 |
| 出現コレクション: | 050 博士(理学) |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。