Revision as of 18:29, 19 April 2019 edit Noboswell (talk \| contribs) 59 edits m →Syntax: Fixed spelling of "operator" Tag: Visual edit ← Previous edit		Revision as of 21:15, 21 April 2019 edit undo WereSpielChequers (talk \| contribs) Bureaucrats, Administrators 352,660 edits m →top: Typo fixing, replaced: wich → which Tag: AWB Next edit →
Line 1: In [[model checking]], a field of [[computer science]], '''Timed Propositional Temporal Logic''' ('''TPTL''') is an extension of [[Linear Temporal Logic]] (LTL) in ~~wich~~which variables are introduced to measure times between two events. For example, while LTL allows to state that each event ''p'' is eventually followed by an event ''q'', TPTL furthermore allows to give a time limit for ''q'' to occur. == Syntax ==

Timed propositional temporal logic: Difference between revisions