モトウラ　ショウタ   Shota Motoura   本浦　庄太    所属   追手門学院大学  理工学部 数理・データサイエンス学科    職種   助教
言語種別	英語
発行・発表の年月	2017/04/03
形態種別	論文
査読	査読あり
標題	A general framework for dynamic epistemic logic: towards canonical correspondences
執筆形態	単著
掲載誌名	Journal of Applied Non-Classical Logics
出版社・発行元	Taylor and Francis Ltd.
巻・号・頁	27(1-2),pp.50-89
担当区分	筆頭著者,最終著者,責任著者
著者・共著者	Shota Motoura
概要	We propose a general framework for dynamic epistemic logics (DELs). It consists of a generic language for DELs and a class of structures, called model transition systems (MTSs), that describe model transformations in a static way. An MTS can be viewed as a two-layered Kripke model and consequently inherits standard concepts such as bisimulation and bounded morphism from the ordinary Kripke models. In the second half of this article we add the global operator to the language, which enables us to define the notions of a canonical MTS and canonicity of a DEL formula for a property of MTSs. Using these notions, we clarify correspondences between axioms of DELs and properties of MTSs.
DOI	10.1080/11663081.2017.1370663
ISSN	1958-5780
DBLP ID	journals/jancl/Motoura17
PermalinkURL	http://www.tandfonline.com/doi/abs/10.1080/11663081.2017.1370663?journalCode=tncl20