A complete proof system for propositional projection temporal logic
From MaRDI portal
Publication:391223
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
68Q60: Specification and verification (program logics, model checking, etc.)
03B35: Mechanization of proofs and logical operations
03B44: Temporal logic
Uses Software