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 条

[21] Symmetric Contingency Logic with Unlimitedly Many Modalities
Fan, Jie
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2019, 48 (05) : 851 - 866
[22] ESSAY ON THE LOGIC OF MODALITIES - FRENCH - GARDIES,JL
ROBERT, S
[J]. DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW, 1981, 20 (02) : 378 - 382
[23] To analyze the deontic modalities in Transparent Intensional Logic
Glavanicova, Daniela
[J]. ORGANON F, 2015, 22 (02) : 211 - 228
[24] A MULTIPROCESS NETWORK LOGIC WITH TEMPORAL AND SPATIAL MODALITIES
REIF, J
SISTLA, AP
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 629 - 639
[25] ESSAY ON THE LOGIC OF MODALITIES - FRENCH - GARDIES,JL
REIX, A
[J]. ETUDES PHILOSOPHIQUES, 1982, (02): : 235 - 236
[26] Symmetric Contingency Logic with Unlimitedly Many Modalities
Jie Fan
[J]. Journal of Philosophical Logic, 2019, 48 : 851 - 866
[27] INDUCTIVE LOGIC WITH CAUSAL MODALITIES - PROBABILISTIC APPROACH
UCHII, S
[J]. PHILOSOPHY OF SCIENCE, 1972, 39 (02) : 162 - &
[28] THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES
Hodkinson, Ian
[J]. REVIEW OF SYMBOLIC LOGIC, 2010, 3 (02): : 279 - 286
[29] A MULTIPROCESS NETWORK LOGIC WITH TEMPORAL AND SPATIAL MODALITIES
REIF, J
SISTLA, AP
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 30 (01) : 41 - 53
[30] Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic
Verdee, Peter
[J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, WOLLIC 2011, 2011, 6642 : 272 - 292

← 1 2 3 4 5 →