Invariance under stuttering in a temporal logic without the "until" operator

被引：0
|
作者：
Kaminski, Michael [1 ]
机构：
[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel
来源：
FUNDAMENTA INFORMATICAE | 2008年 / 82卷 / 1-2期
关键词：
propositional temporal logic; temporal interpretations; invariance under stuttering;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We show that a stutter-invariant property is expressible in propositional temporal logic without the "until" operator if and only if it is expressible in the Generalized Temporal Logic of Actions.
引用
收藏
页码：127 / 140
页数：14
相关论文
共 50 条
  • [1] Invariance under stuttering in a temporal logic of actions
    Kaminski, Michael
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 368 (1-2) : 50 - 63
  • [2] An until hierarchy for temporal logic
    Etessami, K
    Wilke, T
    [J]. 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 108 - 117
  • [3] Nesting until and since in linear temporal logic
    Thérien, D
    Wilke, T
    [J]. THEORY OF COMPUTING SYSTEMS, 2004, 37 (01) : 111 - 131
  • [4] Nesting Until and Since in Linear Temporal Logic
    Denis Thérien
    Thomas Wilke
    [J]. Theory of Computing Systems, 2004, 37 : 111 - 131
  • [5] A GENERALIZED NEXTTIME OPERATOR IN TEMPORAL LOGIC
    KROGER, F
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1984, 29 (01) : 80 - 98
  • [6] The complexity of temporal logic with until and since over ordinals
    Demri, Stephane
    Rabinovich, Alexander
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 531 - +
  • [7] Linear temporal logic with until and next, logical consecutions
    Rybakov, V.
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2008, 155 (01) : 32 - 45
  • [8] VERIFYING TEMPORAL PROPERTIES WITHOUT TEMPORAL LOGIC
    ALPERN, B
    SCHNEIDER, FB
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (01): : 147 - 167
  • [9] Verifying temporal properties without temporal logic
    [J]. Alpern, Bowen, 1600, (11):
  • [10] Operator precedence temporal logic and model checking
    Chiari, Michele
    Mandrioli, Dino
    Pradella, Matteo
    [J]. THEORETICAL COMPUTER SCIENCE, 2020, 848 : 47 - 81
12345