Implicates and reduction techniques for temporal logics

Annals of Mathematics and Artificial Intelligence

Volumn 27, Issue 1-4, 1999, Pages 3-23

  De Guzman I P ^a   Ojeda Aciego, M ^a   Valverde, A ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033274027     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018923315631     Document Type: Article

References (8)

1. G. Aguilera, I.P. de Guzmán and M. Ojeda, Increasing the efficiency of automated theorem proving, J. Appl. Non-Classical Logics 5(1) (1995) 9-29.
2. R. Ben-Eliyahu and M. Magidor, A temporal logic for proving properties of topologically general executions, Inform. Comput. 124(2) (1996) 127-144.
3. C. Courcoubetis and M. Yannakakis, The complexity of probabilistic verification, Journal of the ACM 42(4) (1995) 857-907.
4. L. Fix and O. Grumberg, Verification of temporal properties, J. Logic Comput. 6(3) (1996) 343-362.
5. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specifications (Springer-Verlag, 1992).
6. Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems: Safety (Springer-Verlag, 1995).
7. A.P. Sistla and E.M. Clarke, The complexity of propositional linear temporal logics, Journal of the ACM 32(3) (1985) 733-749.
8. P. Wolper, The tableaux method for temporal logic: an overview, Logique et Analyse 28 (1985) 110-111; 119-136.