モトウラ　ショウタ   Shota Motoura   本浦　庄太    所属   追手門学院大学  理工学部 数理・データサイエンス学科    職種   助教
発表年月日	2015/12/04
発表テーマ	A General Framework for Modal Correspondence in Dynamic Epistemic Logic
会議名	認識論理＋様相論理 研究会
発表形式	口頭（一般）
招待講演	招待講演
発表者・共同発表者	本浦 庄太