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 条
  • [21] EPISTEMIC FOUNDATIONS OF LOGIC
    ELLIS, B
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1976, 5 (02) : 187 - 204
  • [22] An Epistemic Logic with Hypotheses
    Uridia, Levan
    Walther, Dirk
    [J]. LOGIC, RATIONALITY, AND INTERACTION, 2011, 6953 : 286 - +
  • [23] The logic of epistemic justification
    Martin Smith
    [J]. Synthese, 2018, 195 : 3857 - 3875
  • [24] An epistemic logic of preferences
    Naumov, Pavel
    Ovchinnikova, Anna
    [J]. SYNTHESE, 2023, 201 (03)
  • [25] A THEOREM OF EPISTEMIC LOGIC
    SCHLESINGER, GN
    [J]. PHILOSOPHICAL STUDIES, 1984, 45 (02) : 285 - 292
  • [26] Dynamic Epistemic Logic
    Girard, Patrick
    [J]. AUSTRALASIAN JOURNAL OF LOGIC, 2009, 7 : 26 - 31
  • [27] EPISTEMIC MULTILATERAL LOGIC
    Incurvati, Luca
    Schloeder, Julian J.
    [J]. REVIEW OF SYMBOLIC LOGIC, 2022, 15 (02): : 505 - 536
  • [28] Epistemic logic and planning
    Maghsoudi, S
    Watson, I
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2004, 3214 : 36 - 45
  • [29] Epistemic Logic.
    Demey, Lorenz
    [J]. TIJDSCHRIFT VOOR FILOSOFIE, 2011, 73 (03): : 596 - 598
  • [30] On proving in epistemic logic
    Grzegorczyk, Dawid
    Mulawka, Jan J.
    Nieznanski, Edward
    [J]. PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2012, 2012, 8454
12345