Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Interval temporal logic
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Duration_calculus/3cLEagsf">Duration calculus</a></li> <li><a href="/facts/Formal_methods/tw4FCWIb">Formal methods</a></li> <li><a href="/facts/Temporal_logic_of_actions/AMKECrvK">Temporal logic of actions</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>"Interval Temporal Logic". <a href="http://antonio-cau.co.uk/ITL/" target="_blank">http://antonio-cau.co.uk/ITL/</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> </ol>