Metric temporal logic: Revision history

3 June 2024

• curprev 23:4523:45, 3 June 2024‎ Folly Mox talk contribs‎ 19,264 bytes +28‎ →‎Past and Future: i think this reference got confused when someone keft a digit off the doi and it ended up pointing somewhere else. also fix periodical ignored genre conference undo Tags: Mobile edit Mobile web edit Advanced mobile edit

28 May 2024

• curprev 14:3914:39, 28 May 2024‎ 2001:708:150:10::a682 talk‎ 19,236 bytes −10‎ →‎Non-strict operator: Remove an errant \overbar undo

30 October 2023

• curprev 20:2420:24, 30 October 2023‎ Citation bot talk contribs‎ 19,246 bytes +212‎ Alter: title, template type. Add: chapter-url, isbn, volume, series, chapter. Removed or converted URL. | Use this bot. Report bugs. | Suggested by Abductive | Category:Model checking | #UCB_Category 1/24 undo

22 August 2023

• curprev 15:4015:40, 22 August 2023‎ Citation bot talk contribs‎ 19,034 bytes +41‎ Alter: title, template type. Add: series, chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

17 August 2023

• curprev 09:5009:50, 17 August 2023‎ 58.111.200.122 talk‎ 18,993 bytes +1‎ →‎Positive normal form: Added a missing closing bracket to a formula. undo Tag: Visual edit

13 June 2023

• curprev 15:0415:04, 13 June 2023‎ 156.68.41.95 talk‎ 18,992 bytes 0‎ Fixed typos in Back to definition undo

16 November 2022

• curprev 12:1812:18, 16 November 2022‎ Pyschobbens talk contribs‎ m 18,992 bytes +1‎ No edit summary undo
• curprev 11:5511:55, 16 November 2022‎ Pyschobbens talk contribs‎ m 18,991 bytes +2‎ →‎Syntax undo

30 September 2022

• curprev 14:1214:12, 30 September 2022‎ 139.19.176.123 talk‎ 18,989 bytes −498‎ MTL decidability is not independent of the interpretation. I think the author got confused regarding MTL and MITL or has some other restrictions in mind. MTL (i.e. the future fragment of MTL) in point-wise semantics is decidable only over finite timed words but with non-elementary complexity. MTL (with only future modality) is undecidable even over finite timed words. Full MTL is anyway undecidable in both semantics. undo Tag: references removed

21 June 2022

• curprev 17:2617:26, 21 June 2022‎ Generalilx talk contribs‎ m 19,487 bytes +79‎ More detailed refrence 5 undo

29 September 2021

• curprev 10:0110:01, 29 September 2021‎ 2.37.155.29 talk‎ 19,408 bytes +2‎ syntax undo

27 May 2021

• curprev 14:2714:27, 27 May 2021‎ Aseleste talk contribs‎ m 19,406 bytes +22‎ Disambiguating links to LTL (link changed to Linear temporal logic) using DisamAssist. undo

26 May 2021

• curprev 08:0908:09, 26 May 2021‎ Cedar101 talk contribs‎ m 19,384 bytes −14‎ →‎Syntax: {{mvar|}} undo

25 May 2021

• curprev 00:0200:02, 25 May 2021‎ David Eppstein talk contribs‎ 19,398 bytes +37‎ Patricia Bouyer-Decitre undo

1 February 2021

• curprev 09:3109:31, 1 February 2021‎ Orenburg1 talk contribs‎ m 19,361 bytes −2‎ sp undo

26 November 2020

• curprev 20:4820:48, 26 November 2020‎ Monkbot talk contribs‎ m 19,363 bytes −13‎ Task 18 (cosmetic): eval 4 templates: del empty params (1×); undo Tag: AWB

17 September 2020

• curprev 13:5813:58, 17 September 2020‎ AppleBsTime talk contribs‎ 19,376 bytes +1‎ typo undo

19 February 2020

• curprev 14:1614:16, 19 February 2020‎ Periklismant talk contribs‎ 19,375 bytes −49‎ changed "notation" to operator undo
• curprev 14:1214:12, 19 February 2020‎ Periklismant talk contribs‎ 19,424 bytes −2‎ →‎Semantics undo

11 December 2019

• curprev 07:2207:22, 11 December 2019‎ Citation bot talk contribs‎ m 19,426 bytes +36‎ Alter: journal, isbn. Add: chapter-url, isbn. Removed or converted URL. Some additions/deletions were actually parameter name changes.| You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo
• curprev 06:4406:44, 11 December 2019‎ Sun Creator talk contribs‎ m 19,390 bytes −6‎ General fixes, typo(s) fixed: a ECL-formula, → an ECL-formula, undo Tag: AWB

2 December 2019

• curprev 00:1600:16, 2 December 2019‎ Dgpop talk contribs‎ 19,396 bytes −24‎ →‎Non-strict operator: WP:NOTED undo

11 October 2019

• curprev 19:1719:17, 11 October 2019‎ 76.27.202.218 talk‎ 19,420 bytes −1‎ →‎Semantics: Fixed typo undo Tags: Mobile edit Mobile web edit

22 August 2019

• curprev 21:2321:23, 22 August 2019‎ Lxndrcx talk contribs‎ 19,421 bytes +57‎ →‎Comparison with LTL: Paragraph is confusing to read. Final sentence not finished. undo

14 August 2019

• curprev 22:0822:08, 14 August 2019‎ 92.239.231.138 talk‎ 19,364 bytes −1‎ →‎Fragments of MTL: Changed "know" to "now" in: "We now consider some fragments of MTL." undo Tag: Visual edit

3 August 2019

• curprev 20:0920:09, 3 August 2019‎ Dgpop talk contribs‎ 19,365 bytes −25‎ →‎Fall and Rise: WP:NOTED + still awkward undo

29 July 2019

• curprev 15:2815:28, 29 July 2019‎ 92.11.204.186 talk‎ 19,390 bytes 0‎ No edit summary undo

11 June 2019

• curprev 11:5311:53, 11 June 2019‎ 119.74.135.146 talk‎ 19,390 bytes −20‎ The original phrasing is incorrect. undo

12 April 2019

• curprev 07:5607:56, 12 April 2019‎ Orenburg1 talk contribs‎ m 19,410 bytes +2‎ sp undo

5 April 2019

• curprev 20:3420:34, 5 April 2019‎ 1234qwer1234qwer4 talk contribs‎ m 19,408 bytes +1‎ →‎Next and previous: orthography undo
• curprev 12:4212:42, 5 April 2019‎ 176.94.254.171 talk‎ 19,407 bytes −3‎ →‎Model undo
• curprev 12:4112:41, 5 April 2019‎ 176.94.254.171 talk‎ 19,410 bytes +10‎ →‎Model undo

28 March 2019

• curprev 14:1914:19, 28 March 2019‎ Arthur MILCHIOR talk contribs‎ 19,400 bytes +166‎ Explaining more future, past and full undo
• curprev 13:4613:46, 28 March 2019‎ Arthur MILCHIOR talk contribs‎ m 19,234 bytes −18‎ Caps on operators undo

21 March 2019

• curprev 18:5318:53, 21 March 2019‎ Arthur MILCHIOR talk contribs‎ 19,252 bytes +115‎ TPTL in See Also undo
• curprev 15:3615:36, 21 March 2019‎ Arthur MILCHIOR talk contribs‎ m 19,137 bytes 0‎ Typo undo
• curprev 11:4011:40, 21 March 2019‎ Arjayay talk contribs‎ 19,137 bytes −4‎ Duplicate word removed undo
• curprev 10:1510:15, 21 March 2019‎ Arthur MILCHIOR talk contribs‎ 19,141 bytes +825‎ Considering that MTL may means with or without past undo
• curprev 10:0210:02, 21 March 2019‎ Arthur MILCHIOR talk contribs‎ m 18,316 bytes +131‎ Adding name to references undo

18 March 2019

• curprev 12:4312:43, 18 March 2019‎ Arthur MILCHIOR talk contribs‎ 18,185 bytes +586‎ More details about LTL undo
• curprev 12:0312:03, 18 March 2019‎ Arthur MILCHIOR talk contribs‎ 17,599 bytes +1,360‎ Non-strict operator undo
• curprev 12:0212:02, 18 March 2019‎ Arthur MILCHIOR talk contribs‎ 16,239 bytes −8‎ Corrrection of box and diamond undo
• curprev 10:4010:40, 18 March 2019‎ Arthur MILCHIOR talk contribs‎ 16,247 bytes +356‎ →‎Syntax undo
• curprev 10:2910:29, 18 March 2019‎ Arthur MILCHIOR talk contribs‎ m 15,891 bytes +2‎ Typo undo

16 March 2019

• curprev 02:0002:00, 16 March 2019‎ Arthur MILCHIOR talk contribs‎ 15,889 bytes +526‎ Examples undo
• curprev 01:3001:30, 16 March 2019‎ Arthur MILCHIOR talk contribs‎ 15,363 bytes +5‎ →‎History and Prophecy: typo undo

13 March 2019

• curprev 07:3707:37, 13 March 2019‎ Arthur MILCHIOR talk contribs‎ 15,358 bytes +767‎ Positive normal form undo

10 March 2019

• curprev 02:2902:29, 10 March 2019‎ Arthur MILCHIOR talk contribs‎ 14,591 bytes +240‎ Algorithm complexity undo
• curprev 02:0402:04, 10 March 2019‎ Arthur MILCHIOR talk contribs‎ m 14,351 bytes −17‎ Removing stub warning undo
• curprev 01:5301:53, 10 March 2019‎ Arthur MILCHIOR talk contribs‎ 14,368 bytes +1,088‎ Event-Clock Temporal Logic undo