Some fixed-point issues in PPTL

DOI10.1007/978-3-642-39698-4_10MaRDI QIDQ2842634zbMATH OpenOpenAlexFDO

Authors Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang

Publication date 16 August 2013

Published in Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39698-4_10

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Index set expressions can represent temporal logic formulas
• Normal form expressions of propositional projection temporal logic
• A canonical form based decision procedure and model checking approach for propositional projection temporal logic
• Expressiveness of propositional projection temporal logic with star
• Decidability of Propositional Projection Temporal Logic with Infinite Models

Cites work

• A complete proof system for propositional projection temporal logic
• A decision procedure for propositional projection temporal logic with infinite models
• A lattice-theoretical fixpoint theorem and its applications
• An axiomatic basis for computer programming
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• Twenty Years of Theorem Proving for HOLs Past, Present and Future

Cited in

(2)

• Index set expressions can represent temporal logic formulas
• Normal form expressions of propositional projection temporal logic

This page was built for publication: Some fixed-point issues in PPTL

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