Article (Scientific journals)
The Tableau Method for Temporal Logic: An Overview
Wolper, Pierre
1985In Logique et Analyse, (110--111), p. 119-136
Peer reviewed
 

Files


Full Text
WOL85 Tableau.pdf
Publisher postprint (4.04 MB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
temporal logic; semantic tableau
Abstract :
[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
Issue :
110--111
Pages :
119-136
Peer reviewed :
Peer reviewed
Available on ORBi :
since 19 March 2015

Statistics


Number of views
242 (5 by ULiège)
Number of downloads
1612 (6 by ULiège)

Bibliography


Similar publications



Contact ORBi