Pages that link to "Item:Q391223"

The following pages link to A complete proof system for propositional projection temporal logic (Q391223):

Displaying 19 items.

• A formal proof of the deadline driven scheduler in PPTL axiomatic system (Q744103) (← links)
• A complete axiom system for propositional projection temporal logic with cylinder computation model (Q896162) (← links)
• A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
• A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
• PPTL specification mining based on LNFG (Q2089678) (← links)
• Efficient decision procedure for propositional projection temporal logic (Q2197530) (← links)
• A sound and complete proof system for a unified temporal logic (Q2197533) (← links)
• Compositional reasoning using intervals and time reversal (Q2251129) (← links)
• A proof system for a unified temporal logic (Q2300079) (← links)
• Index set expressions can represent temporal logic formulas (Q2317353) (← links)
• Verifying a scheduling protocol of safety-critical systems (Q2424721) (← links)
• A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
• Unified temporal logic (Q2661764) (← links)
• A proof system for unified temporal logic (Q2686105) (← links)
• Some Fixed-Point Issues in PPTL (Q2842634) (← links)
• (Q3496314) (← links)
• Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions (Q3502632) (← links)
• A Complete Proof System for First-order Interval Temporal Logic with Projection (Q4820466) (← links)
• Verifying safety critical task scheduling systems in PPTL axiom system (Q5963639) (← links)