A decision procedure and complete axiomatization for projection temporal logic.

Xinfeng Shu Zhenhua Duan Hongwei Du

Published in: Theor. Comput. Sci. (2020)

Keyphrases

temporal logic
complete axiomatization
model checking
modal logic
satisfiability problem
concurrent systems
belief revision
verification method
mazurkiewicz traces
transition systems
linear temporal logic
inference rules
temporal knowledge
computation tree logic
formal verification
bounded model checking