A tableau system for linear-TIME temporal logic

被引：0
|
作者：
Schmitt, PH
GoubaultLarrecq, J
机构：
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 1997年 / 1217卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present. a sound, complete and terminating tableau system for the propositional logic of linear-TIME with only square and lozenge as temporal operators.
引用
收藏
页码：130 / 144
页数：15
相关论文
共 50 条
  • [1] A tableau construction for finite linear-time temporal logic
    Huang, Samuel
    Cleaveland, Rance
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 125
  • [2] Synchronized Linear-Time Temporal Logic
    Wansing, Heinrich
    Kamide, Norihiro
    [J]. STUDIA LOGICA, 2011, 99 (1-3) : 365 - 388
  • [3] Synchronized Linear-Time Temporal Logic
    Heinrich Wansing
    Norihiro Kamide
    [J]. Studia Logica, 2011, 99
  • [4] A Paraconsistent Linear-time Temporal Logic
    Kamide, Norihiro
    Wansing, Heinrich
    [J]. FUNDAMENTA INFORMATICAE, 2011, 106 (01) : 1 - 23
  • [5] Counting Models of Linear-Time Temporal Logic
    Finkbeiner, Bernd
    Torfah, Hazem
    [J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014, 8370 : 360 - 371
  • [6] Runtime Verification for Linear-Time Temporal Logic
    Leucker, Martin
    [J]. ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS (SETSS 2016), 2017, 10215 : 151 - 194
  • [7] Compositional verification in linear-time temporal logic
    Tsay, YK
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2000, 1784 : 344 - 358
  • [8] Assumption/guarantee specifications in linear-time temporal logic
    Jonsson, B
    Tsay, YK
    [J]. THEORETICAL COMPUTER SCIENCE, 1996, 167 (1-2) : 47 - 72
  • [9] The complexity of counting models of linear-time temporal logic
    Hazem Torfah
    Martin Zimmermann
    [J]. Acta Informatica, 2018, 55 : 191 - 212
  • [10] The Complexity of Linear-Time Temporal Logic Model Repair
    Tao, Xiuting
    Li, Guoqiang
    [J]. STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2017, 2018, 10795 : 69 - 87
12345