The following pages link to Verification: Theory and Practice (Q5305654):
Displaying 8 items.
- On the completeness and decidability of duration calculus with iteration (Q557828) (← links)
- Weak completeness theorem for propositional linear time temporal logic (Q2852161) (← links)
- A complete axiom system for propositional interval temporal logic with infinite time (Q2904627) (← links)
- (Q3553860) (← links)
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
- Complete Proof System for QPTL (Q4779585) (← links)
- A Complete Proof System for First-order Interval Temporal Logic with Projection (Q4820466) (← links)
- (Q4945245) (← links)