A logic of separating modalities

被引：10
|
作者：
Courtault, Jean-Rene [1 ]
Galmiche, Didier [1 ]
Pym, David [2 ]
机构：
[1] Univ Lorraine, LORIA, Campus Sci,BP 239, F-54506 Vandoeuvre Les Nancy, France
[2] UCL, Gower St, London WC1E 6BT, England
来源：
THEORETICAL COMPUTER SCIENCE | 2016年 / 637卷
基金：
英国工程与自然科学研究理事会;
关键词：
Bunched logic; Separation logic; Modal logic; Resource semantics; Tableaux; Concurrency; RESOURCES; SEMANTICS; TABLEAUX;
D O I：
10.1016/j.tcs.2016.04.040
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a logic of separating modalities, LSM, that is based on Boolean BI. LSM's modalities, which generalize those of S4, combine, within a quite general relational semantics, BI's resource semantics with modal accessibility. We provide a range of examples illustrating their use for modelling. We give a proof system based on a labelled tableaux calculus with countermodel extraction, establishing its soundness and completeness with respect to the semantics. (C) 2016 The Authors. Published by Elsevier B.V.
引用
收藏
页码：30 / 58
页数：29
相关论文
共 50 条
  • [1] Modalities and Logic
    Ivlev, Vitaly
    Lepskaya, Nellie
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON CONTEMPORARY EDUCATION, SOCIAL SCIENCES AND HUMANITIES (ICCESSH 2017), 2017, 124 : 79 - 86
  • [2] Axiomatising Logics with Separating Conjunction and Modalities
    Demri, Stephane
    Fervari, Raul
    Mansutti, Alessio
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 692 - 708
  • [3] A LOGIC OF CHANGE WITH MODALITIES
    Swietorzecka, Kordula
    Czermak, Johannes
    [J]. LOGIQUE ET ANALYSE, 2015, (232) : 509 - 525
  • [4] Modalities in Temporal Logic
    Zanardo, Alberto
    [J]. HUMANA MENTE-JOURNAL OF PHILOSOPHICAL STUDIES, 2009, (08): : 1 - 15
  • [5] QUANTUM LOGIC AND PHYSICAL MODALITIES
    CHIARA, MLD
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1977, 6 (04) : 391 - 404
  • [6] Resource modalities in tensor logic
    Mellies, Paul-Andre
    Tabareau, Nicolas
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (05) : 632 - 653
  • [7] GRADED MODALITIES IN EPISTEMIC LOGIC
    VANDERHOEK, W
    MEYER, JJC
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 503 - 514
  • [8] Graded modalities in Strategy Logic
    Aminof, Benjamin
    Malvone, Vadim
    Murano, Aniello
    Rubin, Sasha
    [J]. INFORMATION AND COMPUTATION, 2018, 261 : 634 - 649
  • [9] A dynamic logic with branching modalities
    Zhang, Yuanrui
    Liu, Zhiming
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2024, 136
  • [10] Linier modalities in the minimal logic
    Zolin, E.E.
    [J]. Vestnik Moskovskogo Universiteta. Ser. 1 Matematika Mekhanika, 2001, (04): : 47 - 50
12345