Timed propositional temporal logic: Difference between revisions

Revision as of 21:15, 21 April 2019

Revision as of 20:38, 9 May 2019

Line 16:

Note that the next operator '''N''' is not considered to be a part of MTL syntax. It will instead be defined from other operators.

A '''closed formula''' is a formula over an empty set of clocks.<ref name="Really">{{cite journal |last1=Alur |first1=Rajeev |last2=Henzinger |first2=Thomas A. |title=A really temporal logic|journal=Journal of the ACM (JACM|date=Jan 1994 |volume=41 |issue =1|pages=181–203 |doi=10.1145/174644.174651}}</ref>

== Model ==