The following pages link to Complete Proof System for QPTL (Q4779585):
Displayed 11 items.
- Tool support for learning Büchi automata and linear temporal logic (Q1019031) (← links)
- Model-checking iterated games (Q1674862) (← links)
- A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
- A sound and complete proof system for a unified temporal logic (Q2197533) (← links)
- A novel approach to verifying context free properties of programs (Q2290651) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- A proof system for unified temporal logic (Q2686105) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
- Propositional Dynamic Logic for Hyperproperties (Q5089318) (← links)
- Propositional Dynamic Logic with Program Quantifiers (Q5415640) (← links)