Revision as of 18:04, 21 March 2019 edit Arthur MILCHIOR (talk \| contribs) Extended confirmed users 881 edits ←Created page with 'In model checking, a field of computer science the ''Timed Propositional Temporal Logic'' (''TPTL'') is an extension of Linear Temporal Logic (LTL) i...'		Revision as of 05:39, 22 March 2019 edit undo Stevey7788 (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 34,757 edits m fixed new article Next edit →
Line 1: In [[model checking]], a field of [[computer science]] ~~the~~, '''Timed Propositional Temporal Logic''' ('''TPTL''') is an extension of [[Linear Temporal Logic]] (LTL) in wich 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 ~~occurs~~occur. == Syntax ==

Timed propositional temporal logic: Difference between revisions