[en] An overview of the tableau decision method for propositional temporal logic is presented. The method is described in detail for linear time temporal logic. It is then discussed how it can be applied to other variants of temporal logic like branching time temporal logic and extensions of linear time temporal logic. Finally, applications of temporal logics to computer science are reviewed.
Disciplines :
Computer science
Author, co-author :
Wolper, Pierre ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
English
Title :
The Tableau Method for Temporal Logic: An Overview
Publication date :
1985
Journal title :
Logique et Analyse
ISSN :
0024-5836
eISSN :
2295-5836
Publisher :
Centre National Belge de Recherche de Logique, Louvain, Belgium
