モトウラ　ショウタ   Shota Motoura   本浦　庄太    所属   追手門学院大学  理工学部 数理・データサイエンス学科    職種   助教
言語種別	日本語
発行・発表の年月	2022
形態種別	論文
査読	査読あり
標題	On Inverse Operators in Dynamic Epistemic Logic
執筆形態	共著・編著（代表編著を除く）
掲載誌名	Proceedings of Logical Foundations of Computer Science. LFCS 2022.
掲載区分	国外
出版社・発行元	Springer International Publishing
巻・号・頁	217-235頁
担当区分	筆頭著者,責任著者
著者・共著者	Shota Motoura,Shin-ya Katsumata
DOI	10.1007/978-3-030-93100-1_14
ISSN	0302-9743/1611-3349
PermalinkURL	https://link.springer.com/content/pdf/10.1007/978-3-030-93100-1_14