Interval Temporal Logics with Chop-Like Operators

  • Ian M. Hodkinson
  • Published 2010 in
    2010 17th International Symposium on Temporal…


Much of the research on formal temporal logic since Arthur Prior has used semantics based on points of time. Nonetheless, there is a fair body of work on logics with semantics based on intervals of time. Interval temporal logics are thought appropriate when dealing with events that take place over extended periods, and they have found uses in artificial… (More)
DOI: 10.1109/TIME.2010.28