Return to search

A General Framework for Dynamic Epistemic Logic / 動的認識論理のための一般的枠組み

京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第20159号 / 理博第4244号 / 新制||理||1610(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 照井 一成, 教授 岡本 久, 教授 長谷川 真人 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

Identiferoai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/225384
Date23 March 2017
CreatorsMotoura, Shota
Contributors照井, 一成, 岡本, 久, 長谷川, 真人, 本浦, 庄太, モトウラ, ショウタ
Publisher京都大学 (Kyoto University), 京都大学
Source SetsKyoto University
LanguageEnglish
Detected LanguageEnglish
Typedoctoral thesis, Thesis or Dissertation
Formatapplication/pdf
Rights学位規則第9条第2項により要約公開, 許諾条件により本文は2017-10-13に公開

Page generated in 0.0018 seconds