289 search results - page 17 / 58 » Regular Linear Temporal Logic |
134
click to vote
IGPL
2002
15 years 4 months ago
2002
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness an...
121
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
112
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
147
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
127
click to vote
TIME
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...