An efficient decision procedure for propositional projection temporal logic

DOI10.1007/978-3-030-26176-4_42MaRDI QIDQ2300069zbMATH OpenOpenAlexFDO

Authors Xinfeng Shu, Nan Zhang

Publication date 24 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-26176-4_42

zbMATH Keywords

decision procedureprojection temporal logiclabeled normal form graphlabeled unified complete normal form

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Efficient decision procedure for propositional projection temporal logic
• scientific article; zbMATH DE number 3974944
• A decision procedure for propositional projection temporal logic with infinite models
• A canonical form based decision procedure and model checking approach for propositional projection temporal logic
• A practical decision procedure for propositional projection temporal logic with infinite models

Cited in

(13)

• A decision procedure for propositional projection temporal logic with infinite models
• Labelled superposition for PLTL
• PPTL\_SPIN: a SPIN based model checker for propositional projection temporal logic
• Efficient decision procedure for propositional projection temporal logic
• A practical decision procedure for propositional projection temporal logic with infinite models
• Complexity of propositional projection temporal logic with star
• A canonical form based decision procedure and model checking approach for propositional projection temporal logic
• A complete axiom system for propositional projection temporal logic with cylinder computation model
• A hierarchical analysis of propositional temporal logic based on intervals
• A decision procedure and complete axiomatization for projection temporal logic
• A decision procedure for combinations of propositional temporal logic and other specialized theories
• A transformation from PPTL to S1S
• PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic

This page was built for publication: An 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 Q2300069)