Efficient decision procedure for propositional projection temporal logic

DOI10.1016/J.TCS.2020.05.009zbMATH Open1476.03019OpenAlexW4205412112MaRDI QIDQ2197530FDOQ2197530

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A compiler for MSVL and its applications
• Framed temporal logic programming
• A mechanism of function calls in MSVL
• A formal proof of the deadline driven scheduler in PPTL axiomatic system
• A decision procedure for propositional projection temporal logic with infinite models
• Complexity of propositional projection temporal logic with star
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• Expressiveness of propositional projection temporal logic with star
• A practical decision procedure for propositional projection temporal logic with infinite models
• A decision procedure and complete axiomatization for projection temporal logic
• 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
• Extending MSVL with Semaphore

Cited In (2)

• A decision procedure for propositional projection temporal logic with infinite models
• PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic

Uses Software

• SPIN
• MSVL

Recommendations

• Propositional temporal logics: decidability and completeness 👍 👎
• A decision procedure for propositional projection temporal logic with infinite models 👍 👎
• A complete proof system for propositional projection temporal logic 👍 👎
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection 👍 👎
• A decision procedure for combinations of propositional temporal logic and other specialized theories 👍 👎
• A practical decision procedure for propositional projection temporal logic with infinite models 👍 👎
• A decision procedure and complete axiomatization for projection temporal logic 👍 👎
• An efficient decision procedure for propositional projection temporal logic 👍 👎
• A canonical form based decision procedure and model checking approach for propositional projection temporal logic 👍 👎

This page was built for publication: Efficient decision procedure for propositional projection temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2197530)