A transformation from PPTL to S1S

DOI10.1007/978-3-642-17461-2_30MaRDI QIDQ3066472zbMATH OpenOpenAlexFDO

Authors Cong Tian, Zhenhua Duan

Publication date 10 January 2011

Published in Combinatorial Optimization and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17461-2_30

zbMATH Keywords

verificationdecidabilitypropositional projection temporal logicpropositional interval temporal logicS1S

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 139828
• An efficient decision procedure for propositional projection temporal logic
• Normal form expressions of propositional projection temporal logic
• A decision procedure for propositional projection temporal logic with infinite models
• A hierarchical analysis of propositional temporal logic based on intervals

Cited in

(1)

• Switching between OPTX and PBE exchange functionals

This page was built for publication: A transformation from PPTL to S1S

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