"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic.

E. Allen Emerson Joseph Y. Halpern

Published in: J. ACM (1986)

Keyphrases

linear time temporal logic
model checking
sequent calculus
cut elimination
temporal logic
natural deduction
branch and bound
linear logic
search tree
linear temporal logic
search space
dynamic programming
general purpose
inference rules
wide class