モトウラ　ショウタ   Shota Motoura   本浦　庄太    所属   追手門学院大学  理工学部 数理・データサイエンス学科    職種   助教
発表年月日	2015/10/28
発表テーマ	A General Framework for Modal Correspondence in Dynamic Epistemic Logic
会議名	5th International Workshop, LORI 2015 Taipei, Taiwan
学会区分	国際学会
発表形式	口頭（一般）
発表者・共同発表者	Shota Motoura