A complete proof system for propositional projection temporal logic

DOI10.1016/j.tcs.2012.01.026zbMath1417.03146MaRDI QIDQ391223

Maciej Koutny, Nan Zhang, Zhenhua Duan

Publication date: 10 January 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.01.026

zbMATH Keywords

completeness; inference rule; temporal logic; soundness; axiomatization

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

03B35: Mechanization of proofs and logical operations

03B44: Temporal logic

Uses Software

• ACL2
• SPIN
• PVS
• CESAR