BRANCHING TIME TEMPORAL LOGIC

被引：24
|
作者：
EMERSON, EA [1 ]
SRINIVASAN, J [1 ]
机构：
[1] EINDHOVEN UNIV TECHNOL,DEPT MATH & COMP SCI,5600 MB EINDHOVEN,NETHERLANDS
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 354卷
关键词：
D O I：
10.1007/BFb0013022
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：123 / 172
页数：50
相关论文
共 50 条
  • [31] DECIDING FULL BRANCHING TIME LOGIC
    EMERSON, EA
    SISTLA, AP
    INFORMATION AND CONTROL, 1984, 61 (03): : 175 - 201
  • [32] Sublogics of a branching time logic of robustness
    Cabe-Dansted, John Mc
    Dixon, Clare
    French, Tim
    Reynolds, Mark
    INFORMATION AND COMPUTATION, 2019, 266 : 126 - 160
  • [33] Branching time, indeterminism and tense logic
    Ploug, Thomas
    Ohrstrom, Peter
    SYNTHESE, 2012, 188 (03) : 367 - 379
  • [34] Memoryful branching-time logic
    Kupferman, Orna
    Vardi, Moshe Y.
    21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 265 - +
  • [35] A BRANCHING TIME LOGIC WITH PAST OPERATORS
    KAMINSKI, M
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (02) : 223 - 246
  • [36] The situation and state calculus versus branching temporal logic
    Ramos, J
    Sernadas, A
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 293 - 309
  • [37] Labelled natural deduction for a bundled branching temporal logic
    Masini, Andrea
    Vigano, Luca
    Volpe, Marco
    JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (06) : 1093 - 1163
  • [38] Investigations on fragments of first order branching temporal logic
    Montagna, F
    Pinna, GM
    Tiezzi, EBP
    MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (01) : 51 - 62
  • [39] Branching Temporal Logic of Calls and Returns for Pushdown Systems
    Huu-Vu Nguyen
    Touili, Tayssir
    INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 326 - 345
  • [40] TEMPORAL MODALITIES IN BRANCHING TIME STRUCTURES
    RESCHER, N
    URQUHART, AI
    JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 185 - &
12345