Normal Form Expressions of Propositional Projection Temporal Logic

DOI10.1007/978-3-319-08783-2_8zbMath1423.68278OpenAlexW1945386918MaRDI QIDQ2920447

Zhenhua Duan, Nan Zhang, Cong Tian

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 formsatisfiabilityspecificationpropositional projection temporal logicnormal form expression

Mathematics Subject Classification ID

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

This page was built for publication: Normal Form Expressions of Propositional Projection Temporal Logic