Unified temporal logic.

Nan Zhang Zhenhua Duan Cong Tian

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

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
computation tree logic
temporal knowledge
linear temporal logic
mazurkiewicz traces
transition systems
predicate logic
verification method
automata theoretic
temporally extended
belief revision
reactive systems