An efficient decision procedure for propositional projection temporal logic

DOI10.1007/978-3-030-26176-4_42zbMath1478.03031OpenAlexW2963247626MaRDI QIDQ2300069

Nan Zhang, Xinfeng Shu

Publication date: 24 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-26176-4_42

zbMATH Keywords

decision procedureprojection temporal logiclabeled normal form graphlabeled unified complete normal form

Mathematics Subject Classification ID

Temporal logic (03B44)

This page was built for publication: An efficient decision procedure for propositional projection temporal logic