|
モトウラ ショウタ
Shota Motoura
本浦 庄太 所属 追手門学院大学 理工学部 数理・データサイエンス学科 職種 助教 |
|
| 言語種別 | 英語 |
| 発行・発表の年月 | 2015 |
| 形態種別 | 論文 |
| 査読 | 査読あり |
| 標題 | A General Framework for Modal Correspondence in Dynamic Epistemic Logic |
| 執筆形態 | 単著 |
| 掲載誌名 | LOGIC, RATIONALITY, AND INTERACTION (LORI 2015) |
| 掲載区分 | 国外 |
| 出版社・発行元 | SPRINGER INT PUBLISHING AG |
| 巻・号・頁 | 9394,pp.282-294 |
| 担当区分 | 筆頭著者,最終著者,責任著者 |
| 著者・共著者 | Shota Motoura |
| 概要 | We introduce a unified framework for dynamic epistemic logics, which in particular encompasses Public Announcement Logic (PAL), Epistemic Action (EA) and Preference Upgrade (PU). Our framework consists of a generic language, in which some of the known reduction axioms are expressible, together with relational and algebraic semantics. We then establish correspondences between generic reduction axioms and semantic properties, in both relational and algebraic settings. This leads to alternative proofs of the completeness of PAL, EA, PU with respect to their relational semantics and algebraic semantics (for the former two). |
| DOI | 10.1007/978-3-662-48561-3_23 |
| ISSN | 0302-9743 |
| DBLP ID | conf/lori/Motoura15 |
| PermalinkURL | http://dblp.uni-trier.de/db/conf/lori/lori2015.html#conf/lori/Motoura15 |