|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/14217
|
| タイトル: | Revising a Labelled Sequent Calculus for Public Announcement Logic |
| 著者: | Nomura, Shoshin
Sano, Katsuhiko
Tojo, Satoshi |
| キーワード: | sequent calculus
labeled sequent calculus
public announcement logic |
| 発行日: | 2015-10-17 |
| 出版者: | Springer |
| 誌名: | Structural Analysis of Non-Classical Logics, Logic in Asia: Studia Logica Library |
| 開始ページ: | 131 |
| 終了ページ: | 157 |
| DOI: | 10.1007/978-3-662-48357-2_7 |
| 抄録: | We first show that a labelled sequent calculus G3PAL for Public AnnouncementLogic (PAL) by Maffezioli and Negri (2011) has been lacking rulesfor deriving an axiom of Hilbert-style axiomatization of PAL. Then, we provide our revised calculus GPAL to show that all the formulas provable by Hilbert-style axiomatization of PAL are also provable in GPAL together with the cut rule. We also establish that our calculus enjoys cut elimination theorem. Moreover, we show the soundness of our calculus for Kripke semantics with the notion of surviveness of possible worlds in a restricted domain. Finally, we provide a direct proof of the semantic completeness of GPAL for the link-cutting semantics of PAL. |
| Rights: | This is the author-created version of Springer, Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo, Structural Analysis of Non-Classical Logics, Logic in Asia: Studia Logica Library, 2015, 131-157. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-662-48357-2_7 |
| URI: | http://hdl.handle.net/10119/14217 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 22002.pdf | | 130Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
