モトウラ　ショウタ   Shota Motoura   本浦　庄太    所属   追手門学院大学  理工学部 数理・データサイエンス学科    職種   助教
発表年月日	2013/09/24
発表テーマ	On the semantic meaning of reduction axioms in public announcement logic
会議名	SLAGICS 2013: ALGI and SLACS Join Forces
発表形式	口頭（一般）
発表者・共同発表者	本浦 庄太