Efficient decision procedure for propositional projection temporal logic

DOI10.1016/j.tcs.2020.05.009zbMath1476.03019OpenAlexW4205412112MaRDI QIDQ2197530

Yanyan Li

Publication date: 1 September 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.05.009

zbMATH Keywords

decision procedureprojection temporal logiclabeled normal form graphlabeled normal form

Mathematics Subject Classification ID

Temporal logic (03B44)

Uses Software

• SPIN
• MSVL

Cites Work

• Unnamed Item
• Unnamed Item
• A mechanism of function calls in MSVL
• A practical decision procedure for propositional projection temporal logic with infinite models
• A formal proof of the deadline driven scheduler in PPTL axiomatic system
• A canonical form based decision procedure and model checking approach for propositional projection temporal logic
• Verification of distributed systems with the axiomatic system of MSVL
• A compiler for MSVL and its applications
• A decision procedure and complete axiomatization for projection temporal logic
• Expressiveness of propositional projection temporal logic with star
• Framed temporal logic programming
• A decision procedure for propositional projection temporal logic with infinite models
• Extending MSVL with Semaphore
• Complexity of propositional projection temporal logic with star
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection