70 search results - page 1 / 14 » A Hierarchical Completeness Proof for Propositional Temporal... |
95
Voted
BIRTHDAY
2003
Springer
15 years 6 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...
98
Voted
CONCUR
1998
Springer
15 years 5 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...
90
Voted
STACS
1998
Springer
15 years 5 months ago
1998
Springer
101
Voted
APAL
2008
15 years 1 months ago
2008
A propositional logic of explicit proofs, LP, was introduced in [2], completing a project begun long ago by G
117
Voted
LMCS
2006
15 years 1 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...