Resolution for branching time temporal logics: applying the temporal resolution rule
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..
[2] Saharon Shelah,et al. On the temporal analysis of fairness , 1980, POPL '80.
[3] Larry Wos,et al. Efficiency and Completeness of the Set of Support Strategy in Theorem Proving , 1965, JACM.
[4] Lincoln A. Wallen. Matrix Proof Methods for Modal Logics , 1987, IJCAI.
[5] Clare Dixon,et al. The Set of Support strategy in temporal resolution , 1998, Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157).
[6] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[7] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[8] Wolfgang Thomas,et al. Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .
[9] Clare Dixon,et al. Search Strategies for Resolution in Temporal Logics , 1996, CADE.
[10] Michael Fisher,et al. A clausal resolution method for CTL branching-time temporal logic , 1999, J. Exp. Theor. Artif. Intell..
[11] Pierre Wolper,et al. An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract) , 1994, CAV.
[12] Hans Jürgen Ohlbach,et al. A Resolution Calculus for Modal Logics , 1988, CADE.
[13] Alexander Bolotov. Clausal resolution for branching-time temporal logic , 2000 .
[14] Michael Fisher,et al. A Resolution Method for Temporal Logic , 1991, IJCAI.