70 search results - page 1 / 14 » A Hierarchical Completeness Proof for Propositional Temporal... |
BIRTHDAY
2003
Springer
13 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...
CONCUR
1998
Springer
13 years 8 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
STACS
1998
Springer
13 years 8 months ago
1998
Springer
APAL
2008
13 years 4 months ago
2008
A propositional logic of explicit proofs, LP, was introduced in [2], completing a project begun long ago by G
LMCS
2006
13 years 4 months ago
2006
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing tha...