A combination of interval logic and linear temporal logic.

Published in: PROCOMET (1998)

Keyphrases

linear temporal logic
temporal logic
model checking
bounded model checking
linear time temporal logic
machine learning
natural deduction