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 条
  • [31] Efficient Normalization of Linear Temporal Logic
    Esparza, Javier
    Rubio, Ruben
    Sickert, Salomon
    JOURNAL OF THE ACM, 2024, 71 (02)
  • [32] Dynamic linear time temporal logic
    Henriksen, JG
    Thiagarajan, PS
    ANNALS OF PURE AND APPLIED LOGIC, 1999, 96 (1-3) : 187 - 207
  • [33] Linear temporal logic and Z refinement
    Derrick, J
    Smith, G
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 117 - 131
  • [34] Ltlc: linear temporal logic for control
    Kwon, YoungMin
    Agha, Gul
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2008, 4981 : 316 - +
  • [35] Linear Temporal Logic of Constraint Automata
    Navidpour, Sara
    Izadi, Mohammad
    ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 972 - +
  • [36] Vectorial languages and linear temporal logic
    Serre, Olivier
    IFIP Advances in Information and Communication Technology, 2002, 96 : 576 - 587
  • [37] Linear Temporal Logic for Biologists in BMA
    Hall, Benjamin A.
    Piterman, Nir
    Fisher, Jasmin
    COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2016), 2016, 9859 : 348 - 350
  • [38] Temporal Reference in Linear Tense Logic
    Cresswell, M. J.
    JOURNAL OF PHILOSOPHICAL LOGIC, 2010, 39 (02) : 173 - 200
  • [39] Unification in linear temporal logic LTL
    Babenyshev, Sergey
    Rybakov, Vladimir
    ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 991 - 1000
  • [40] Vectorial languages and linear temporal logic
    Serre, O
    FOUNDATIONS OF INFORMATION TECHNOLOGY IN THE ERA OF NETWORK AND MOBILE COMPUTING, 2002, 96 : 576 - 587
12345