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 条
  • [21] BRANCHING TIME REGULAR TEMPORAL LOGIC FOR MODEL CHECKING WITH LINEAR-TIME COMPLEXITY
    HAMAGUCHI, K
    HIRAISHI, H
    YAJIMA, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 253 - 262
  • [22] BCTL: A branching clock temporal logic
    Liu, CC
    Orgun, MA
    FOURTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 1997, : 140 - 147
  • [23] Robust Vacuity for Branching Temporal Logic
    Gurfinkel, Arie
    Chechik, Marsha
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (01)
  • [24] dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification
    Castro, Pablo F.
    Kilmurray, Cecilia
    Acosta, Araceli
    Aguirre, Nazareno
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 106 - +
  • [25] Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
    Huang, Xiaowei
    van der Meyden, Ron
    AI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5866 : 11 - 20
  • [26] Prediction in branching time logic
    Bonanno, G
    MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (02) : 239 - 247
  • [27] Dynamic epistemic logic with branching temporal structures
    Tomohiro Hoshi
    Audrey Yap
    Synthese, 2009, 169 : 259 - 281
  • [28] Dynamic epistemic logic with branching temporal structures
    Hoshi, Tomohiro
    Yap, Audrey
    SYNTHESE, 2009, 169 (02) : 259 - 281
  • [29] Linear time datalog and branching time logic
    Gottlob, G
    Grädel, E
    Veith, H
    LOGIC-BASED ARTIFICIAL INTELLIGENCE, 2000, 597 : 443 - 467
  • [30] THE DECISION PROBLEM FOR BRANCHING TIME LOGIC
    GUREVICH, Y
    SHELAH, S
    JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (03) : 668 - 681
12345