Normal form expressions of propositional projection temporal logic

DOI10.1007/978-3-319-08783-2_8MaRDI QIDQ2920447zbMATH OpenOpenAlexFDO

Authors Zhenhua Duan, Cong Tian, Nan Zhang

Publication date 26 September 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08783-2_8

zbMATH Keywords

normal formnormal form expressionpropositional projection temporal logicsatisfiabilityspecification

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Expressiveness of propositional projection temporal logic with star
• Complexity of propositional projection temporal logic with star
• Some fixed-point issues in PPTL
• A decision procedure for propositional projection temporal logic with infinite models
• A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution

Cited in

(7)

• Index set expressions can represent temporal logic formulas
• Expressiveness of propositional projection temporal logic with star
• Some fixed-point issues in PPTL
• A transformation from PPTL to S1S
• Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
• A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
• scientific article; zbMATH DE number 1538010 (Why is no real title available?)

This page was built for publication: Normal form expressions of propositional projection temporal logic

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