A Normal Form for First-Order Temporal Formulae
暂无分享,去创建一个
[1] David A. Plaisted,et al. A Structure-Preserving Clause Form Translation , 1986, J. Symb. Comput..
[2] Dov M. Gabbay,et al. METATEM: A Framework for Programming in Temporal Logic , 1989, REX Workshop.
[3] Michael Fisher,et al. A Resolution Method for Temporal Logic , 1991, IJCAI.
[4] Thierry Boy de la Tour,et al. The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving , 1990, AIMSA.
[5] Martín Abadi,et al. Nonclausal deduction in first-order temporal logic , 1990, JACM.
[6] Michael Fisher,et al. Transformation and Synthesis in METATEM Part I: Propositional METATEM , 1992 .
[7] Pierre Wolper. Temporal Logic Can Be More Expressive , 1983, Inf. Control..