モトウラ ショウタ   Shota Motoura
  本浦 庄太
   所属   追手門学院大学  理工学部 数理・データサイエンス学科
   職種   助教
発表年月日 2013/03/09
発表テーマ On the semantic meaning of reduction axioms in public announcement logic
会議名 認識論理とゲーム理論研究会
発表形式 口頭(一般)
招待講演 招待講演
発表者・共同発表者 本浦 庄太