Dynamic Epistemic Logic Displayed

被引：0

作者：

Greco, Giuseppe ^{[1
]}

Kurz, Alexander ^{[2
]}

Palmigiano, Alessandra ^{[3
]}

机构：

[1] ILLC, Amsterdam, Netherlands

[2] Univ Leicester, Leicester, Leics, England

[3] TBM, Delft, Netherlands

来源：

LOGIC, RATIONALITY, AND INTERACTION (LORI 2013) | 2013年 / 8196卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We introduce a display calculus for the logic of Epistemic Actions and Knowledge (EAK) of Baltag-Moss-Solecki. This calculus is cut-free and complete w.r.t. the standard Hilbert-style presentation of EAK, of which it is a conservative extension, given that-as is common to display calculi-it is defined on an expanded language in which all logical operations have adjoints. The additional dynamic operators do not have an interpretation in the standard Kripke semantics of EAK, but do have a natural interpretation in the final coalgebra. This proof-theoretic motivation revives the interest in the global semantics for dynamic epistemic logics pursued among others by Baltag [4], Cirstea and Sadrzadeh [8].

引用

页码：135 / 148

页数：14

共 50 条

[1] Dynamic Epistemic Logic
Girard, Patrick
[J]. AUSTRALASIAN JOURNAL OF LOGIC, 2009, 7 : 26 - 31
[2] Dynamic epistemic logic in update logic
Aucher, Guillaume
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1913 - 1960
[3] Probabilistic Dynamic Epistemic Logic
Barteld P. Kooi
[J]. Journal of Logic, Language and Information, 2003, 12 (4) : 381 - 408
[4] Inquisitive dynamic epistemic logic
Ciardelli, Ivano A.
Roelofsen, Floris
[J]. SYNTHESE, 2015, 192 (06) : 1643 - 1687
[5] Concurrent dynamic epistemic logic
Van Ditmarsch, HP
Van Der Hoek, W
Kooi, BP
[J]. KNOWLEDGE CONTRIBUTORS, 2003, 322 : 105 - 143
[6] The Dynamic Turn in Epistemic Logic
Demey, Lorenz
[J]. TIJDSCHRIFT VOOR FILOSOFIE, 2016, 78 (02) : 365 - 391
[7] DYNAMIC GRADED EPISTEMIC LOGIC
Ma, Minghui
Van Ditmarsch, Hans
[J]. REVIEW OF SYMBOLIC LOGIC, 2019, 12 (04): : 663 - 684
[8] Dynamic Epistemic Temporal Logic
Renne, Bryan
Sack, Joshua
Yap, Audrey
[J]. LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 : 263 - +
[9] Categories for Dynamic Epistemic Logic
Kishida, Kohei
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (251): : 353 - 372
[10] Inquisitive dynamic epistemic logic
Ivano A. Ciardelli
Floris Roelofsen
[J]. Synthese, 2015, 192 : 1643 - 1687

← 1 2 3 4 5 →