An Epistemic Separation Logic

被引：8

作者：

Courtault, Jean-Rene ^{[1
,2
]}

van Ditmarsch, Hans ^{[1
,2
]}

Galmiche, Didier ^{[1
,2
]}

机构：

[1] Univ Lorraine, LORIA, UMR 7503, F-54506 Vandoeuvre Les Nancy, France

[2] LORIA, CNRS, UMR 7503, F-54506 Vandoeuvre Les Nancy, France

来源：

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015 | 2015年 / 9160卷

关键词：

ALGEBRA;

D O I：

10.1007/978-3-662-47709-0_12

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We define an Epistemic Separation Logic, called ESL, that allows us to consider epistemic possible worlds as resources that can be shared or separated, in the spirit of separation logics. After studying the semantics and the expressiveness of this logic, we provide a tableau calculus with labels and resource contraints that is sound and complete and then also study countermodel extraction.

引用

页码：156 / 173

页数：18

共 50 条

[1] An Epistemic Separation Logic with Action Models
Hans van Ditmarsch
Didier Galmiche
Marta Gawek
[J]. Journal of Logic, Language and Information, 2023, 32 : 89 - 116
[2] An Epistemic Separation Logic with Action Models
van Ditmarsch, Hans
Galmiche, Didier
Gawek, Marta
[J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2023, 32 (01) : 89 - 116
[3] A Separation Logic with Histories of Epistemic Actions as Resources
van Ditmarsch, Hans
Galmiche, Didier
Gawek, Marta
[J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, 2023, 13923 : 161 - 177
[4] Intuitionistic logic as epistemic logic
Hintikka, J
[J]. SYNTHESE, 2001, 127 (1-2) : 7 - 19
[5] Intuitionistic Logic As Epistemic Logic
Jaakko Hintikka
[J]. Synthese, 2001, 127 : 7 - 19
[6] Epistemic Logic and the Problem of Epistemic Closure
Quadrellaro, Davide Emilio
[J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2016, 7 (02) : 3 - 16
[7] Epistemic Logic and the Problem of Epistemic Closure
Quadrellaro, Davide
[J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2018, 9 (02) : 138 - 151
[8] REDUCTION OF DOXASTIC LOGIC TO EPISTEMIC LOGIC
BACON, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 199 - 199
[9] Epistemic Logic: A Survey of the Logic of Knowledge
Mirus, Christopher V.
[J]. REVIEW OF METAPHYSICS, 2007, 60 (04): : 878 - 882
[10] Dynamic epistemic logic in update logic
Aucher, Guillaume
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1913 - 1960

← 1 2 3 4 5 →