Revision as of 04:11, 13 April 2019 edit Nat965 (talk \| contribs) Autopatrolled, Extended confirmed users 81,164 edits m Typo fixing, typo(s) fixed: Indeed → Indeed, Tag: AWB ← Previous edit		Revision as of 18:29, 19 April 2019 edit undo Noboswell (talk \| contribs) 59 edits m →Syntax: Fixed spelling of "operator" Tag: Visual edit Next edit →
Line 12: The logic '''TPTL+Past'''<ref name="ExpressivenesOfTPTLAndMtl">{{cite journal \|last1=Bouyer \|first1=Patricia \|last2=Chevalier \|first2=Fabrice \|last3=Markey \|first3=Nicolas \|title=On the Expressiveness of TPTL and MTL \|journal=roceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Scienc \|date=2005 \|page=436 \|doi=10.1007/11590156_3 \|url=https://hal.archives-ouvertes.fr/hal-01194615/document}}</ref> is built as the future fragment of '''TLS''' and also contains * the temporal modal ~~opeartor~~operator '''S'''. Note that the next operator '''N''' is not considered to be a part of MTL syntax. It will instead be defined from other operators.

Timed propositional temporal logic: Difference between revisions