Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Timed propositional temporal logic
open-in-new
<p>In <a href="/facts/Model_checking/FwvKMlw9">model checking</a>, a field of <a href="/facts/Computer_science/lN3pEyPz">computer science</a>, timed propositional temporal logic (TPTL) is an extension of propositional <a href="/facts/Linear_temporal_logic/Gh5yxXK7">linear temporal logic</a> (LTL) in which variables are introduced to measure times between two events. For example, while LTL allows to state that each event <i>p</i> is eventually followed by an event <i>q</i>, TPTL furthermore allows to give a time limit for <i>q</i> to occur. </p>