Reference : The Tableau Method for Temporal Logic: An Overview
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/179456
The Tableau Method for Temporal Logic: An Overview
English
Wolper, Pierre mailto [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données) >]
1985
Logique et Analyse
110--111
119--136
Yes
International
2295-5836
[en] temporal logic ; semantic tableau
[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.
Researchers
http://hdl.handle.net/2268/179456

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
WOL85 Tableau.pdfPublisher postprint3.94 MBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.