Non-axiomatizability for the linear temporal logic of knowledge with concrete observability

被引：1
|
作者：
Dima, Catalin [1 ]
机构：
[1] Univ Paris Est Creteil Val de Marne, LACL, F-94010 Creteil, France
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2011年 / 21卷 / 06期
关键词：
Temporal epistemic logics; undecidability; MODEL CHECKING;
D O I：
10.1093/logcom/exq031
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show that propositional linear temporal logic with knowledge modalities but without common knowledge has an undecidable satisfiability problem when interpreted in a 'concrete' semantics with perfect recall or with perfect recall and synchrony.We then conclude that this concrete semantics is not axiomatizable in the semantics, based on local states.
引用
收藏
页码：939 / 958
页数：20
相关论文
共 50 条
  • [21] Regular linear temporal logic
    Leucker, Martin
    Sanchez, Cesar
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2007, PROCEEDINGS, 2007, 4711 : 291 - +
  • [22] Visibly Linear Temporal Logic
    Bozzelli, Laura
    Sanchez, Cesar
    JOURNAL OF AUTOMATED REASONING, 2018, 60 (02) : 177 - 220
  • [23] A linear logic of authorization and knowledge
    Garg, Deepak
    Bauer, Lujo
    Bowers, Kevin D.
    Pfenning, Rank
    Reiter, Michael K.
    COMPUTER SECURITY - ESORICS 2006, PROCEEDINGS, 2006, 4189 : 297 - +
  • [24] On observability of non-linear dynamical system
    Boguslavskii, IA
    DOKLADY AKADEMII NAUK, 1996, 350 (03) : 318 - 320
  • [25] OBSERVABILITY FOR A CLASS OF NON-LINEAR SYSTEMS
    SEN, P
    CHIDAMBARA, MR
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1980, 25 (06) : 1236 - 1237
  • [26] CONDITION OF NON-LINEAR PROCESS OBSERVABILITY
    KRASOVSKII, AA
    DOKLADY AKADEMII NAUK SSSR, 1978, 242 (06): : 1265 - 1268
  • [27] Observability of states in non-linear systems
    Smith, JQ
    Settimi, R
    JOURNAL OF FORECASTING, 1997, 16 (05) : 375 - 393
  • [28] Temporal normal form for Linear Temporal Logic formulae
    Shi, Hui-Xian
    Li, Yong-Ming
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2016, 30 (03) : 1657 - 1662
  • [29] Locally linear time temporal logic
    Ramanujam, R
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 118 - 127
  • [30] A DECISION METHOD FOR LINEAR TEMPORAL LOGIC
    CAVALLI, AR
    DELCERRO, LF
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 113 - 127
12345