A transformation from PPTL to S1S

DOI10.1007/978-3-642-17461-2_30zbMATH Open1310.68146OpenAlexW1490701562MaRDI QIDQ3066472FDOQ3066472

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

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

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)

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)