Linear temporal logic: Revision history

1 March 2024

• curprev 14:4714:47, 1 March 2024‎ Omnipaedista talk contribs‎ 17,521 bytes −24‎ sorry, I have to revert again; Botterweg14 undid your changes using a sound argument; this needs to be discussed further on the template's talk page undo Tag: Undo

29 February 2024

• curprev 15:0715:07, 29 February 2024‎ Jarble talk contribs‎ 17,545 bytes +24‎ Linear temporal logic is now included in Template:Non-classical logic. undo Tag: Reverted

17 January 2024

• curprev 21:3121:31, 17 January 2024‎ Peaceray talk contribs‎ 17,521 bytes −14‎ Reverting edit(s) by Nabu thakuri (talk) to rev. 1166694746 by Cornmazes: Vandalism (RW 16.1) undo Tags: RW Undo
• curprev 09:5209:52, 17 January 2024‎ Nabu thakuri talk contribs‎ 17,535 bytes +14‎ No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

23 July 2023

• curprev 05:4805:48, 23 July 2023‎ Cornmazes talk contribs‎ 17,521 bytes +77‎ No edit summary undo Tags: Mobile edit Mobile web edit

17 March 2023

• curprev 08:0108:01, 17 March 2023‎ Citation bot talk contribs‎ 17,444 bytes −40‎ Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

26 January 2023

• curprev 08:1208:12, 26 January 2023‎ Saung Tadashi talk contribs‎ 17,484 bytes +5‎ No edit summary undo Tag: Visual edit

24 January 2023

• curprev 15:2815:28, 24 January 2023‎ 157.193.240.177 talk‎ 17,479 bytes +243‎ No edit summary undo

23 October 2022

• curprev 16:0116:01, 23 October 2022‎ JuliusMarozas talk contribs‎ m 17,236 bytes +6‎ →‎Syntax undo

17 October 2022

• curprev 16:1316:13, 17 October 2022‎ Citation bot talk contribs‎ 17,230 bytes +16‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 1402/3850 undo

29 September 2022

• curprev 10:2710:27, 29 September 2022‎ Storchy talk contribs‎ 17,214 bytes −10‎ No edit summary undo
• curprev 00:5200:52, 29 September 2022‎ DavidGries talk contribs‎ 17,224 bytes +31‎ →‎Applications: changed "safety" and"liveness" links to the more extensive and correct Safety and Liveness Properties undo

22 August 2022

• curprev 18:1018:10, 22 August 2022‎ Citation bot talk contribs‎ 17,193 bytes +33‎ Alter: title. Add: authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | #UCB_webform 3045/3809 undo

7 August 2022

• curprev 02:5602:56, 7 August 2022‎ 桃花影落飞神剑 talk contribs‎ m 17,160 bytes +1‎ →‎Applications: typo, right parenthese undo

11 June 2022

• curprev 16:5216:52, 11 June 2022‎ 87.214.42.62 talk‎ 17,159 bytes +153‎ →‎Computational problems: Added information for reference to "On the synthesis of a reactive module" undo

15 March 2022

• curprev 17:2417:24, 15 March 2022‎ Sleeveless monkey talk contribs‎ m 17,006 bytes −80‎ →‎Relations with other logics: Remove redundant sentence undo

30 January 2022

• curprev 00:3200:32, 30 January 2022‎ Bilorv talk contribs‎ m 17,086 bytes +8‎ link Principles of Model Checking undo

12 July 2021

• curprev 03:4903:49, 12 July 2021‎ Beland talk contribs‎ m 17,078 bytes −68‎ convert special characters (via WP:JWB) undo

26 May 2021

• curprev 08:0508:05, 26 May 2021‎ Cedar101 talk contribs‎ m 17,146 bytes −50‎ →‎Applications: html math undo
• curprev 08:0108:01, 26 May 2021‎ Cedar101 talk contribs‎ m 17,196 bytes +453‎ →‎Semantics: ⊭ fix math italics undo
• curprev 04:1504:15, 26 May 2021‎ Cedar101 talk contribs‎ m 16,743 bytes −180‎ →‎Semantics: ⊨ undo

21 May 2021

• curprev 07:1507:15, 21 May 2021‎ 78.133.22.200 talk‎ 16,923 bytes +1‎ →‎Semantics undo

20 April 2021

• curprev 17:3517:35, 20 April 2021‎ WikiCleanerBot talk contribs‎ m 16,922 bytes −1‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

15 April 2021

• curprev 21:3721:37, 15 April 2021‎ LifeOnTheTurtlestack talk contribs‎ 16,923 bytes +201‎ →‎Applications: added reference for liveness and safety conditions undo

8 March 2021

• curprev 11:5311:53, 8 March 2021‎ Onasl talk contribs‎ m 16,722 bytes −1‎ →‎Syntax: Fixed a typo made in my past edit undo
• curprev 11:5211:52, 8 March 2021‎ Onasl talk contribs‎ m 16,723 bytes −18‎ The '''F''' in the eventually/finally operator means "finally", not "in the future". The purpose of this edit is mainly to keep the page consistent in respect to the explanations in the paragraph "Semantics" undo

23 January 2021

• curprev 14:0614:06, 23 January 2021‎ Lennart97 talk contribs‎ m 16,741 bytes +12‎ Disambiguated: expressive power → expressive power (computer science) undo

15 January 2021

• curprev 15:1115:11, 15 January 2021‎ Narky Blert talk contribs‎ 16,729 bytes +24‎ dab-needed tag undo

3 January 2021

• curprev 19:3219:32, 3 January 2021‎ Monkbot talk contribs‎ m 16,705 bytes −24‎ Task 18 (cosmetic): eval 9 templates: del empty params (3×); hyphenate params (4×); undo Tag: AWB

23 November 2020

• curprev 20:3120:31, 23 November 2020‎ 2001:861:3ac0:4fa0:6428:33e5:e970:40f1 talk‎ 16,729 bytes +97‎ No edit summary undo

20 October 2020

• curprev 19:0919:09, 20 October 2020‎ Beachc talk contribs‎ m 16,632 bytes +32‎ Added a link to the Alphabet (formal languages) page undo Tag: Visual edit

4 October 2020

• curprev 23:3623:36, 4 October 2020‎ David Eppstein talk contribs‎ 16,600 bytes +8‎ authorlinks undo

9 July 2020

• curprev 17:1417:14, 9 July 2020‎ Erydo talk contribs‎ m 16,592 bytes +18‎ Link to PSPACE-complete and 2-EXPTIME pages undo Tag: 2017 wikitext editor

10 June 2020

• curprev 08:2908:29, 10 June 2020‎ Mattecapu talk contribs‎ m 16,574 bytes 0‎ →‎Semantics: swapped the order of phi and psi in the formulae to agree with the examples given in the table undo Tag: 2017 wikitext editor

13 May 2020

• curprev 07:3007:30, 13 May 2020‎ 2003:e6:973c:7d00:e10b:c7c2:4f59:df9d talk‎ 16,574 bytes +2‎ →‎Computational problems: "an LTL formula" instead of "a LTL formula" throughout undo

3 May 2020

• curprev 14:5314:53, 3 May 2020‎ Citation bot talk contribs‎ 16,572 bytes +10‎ Alter: url. | You can use this bot yourself. Report bugs here. | Activated by Headbomb | via #UCB_webform undo

1 May 2020

• curprev 19:1419:14, 1 May 2020‎ Citation bot talk contribs‎ 16,562 bytes −10‎ Alter: url. | You can use this bot yourself. Report bugs here. | Activated by Headbomb | via #UCB_webform undo

11 March 2020

• curprev 18:2818:28, 11 March 2020‎ John B123 talk contribs‎ 16,572 bytes +44‎ Add: bibcode, arxiv. | You can use this tool yourself. Report bugs here. | via #UCB_Gadget undo
• curprev 18:2618:26, 11 March 2020‎ John B123 talk contribs‎ m 16,528 bytes −4‎ →‎Computational problems: Fixed cite error undo
• curprev 18:2618:26, 11 March 2020‎ John B123 talk contribs‎ m 16,532 bytes 0‎ →‎Relations with other logics: Fixed cite error undo
• curprev 00:4000:40, 11 March 2020‎ Citation bot talk contribs‎ m 16,532 bytes +97‎ Alter: author1, author. Add: volume, author-link, isbn, location, author pars. 1-5. Removed URL that duplicated unique identifier. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2. undo

28 February 2020

• curprev 09:0909:09, 28 February 2020‎ InternetArchiveBot talk contribs‎ 16,435 bytes +262‎ Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0 undo

21 February 2020

• curprev 10:0310:03, 21 February 2020‎ Iridescent talk contribs‎ m 16,173 bytes +1‎ →‎top: Cleanup and typo fixing, typo(s) fixed: Subsequently → Subsequently, undo Tag: AWB

13 December 2019

• curprev 09:5109:51, 13 December 2019‎ Fschwarzentruber talk contribs‎ 16,172 bytes +625‎ →‎See also undo Tag: Visual edit

7 November 2019

• curprev 21:3521:35, 7 November 2019‎ Fschwarzentruber talk contribs‎ 15,547 bytes +361‎ →‎Relations with other logics undo Tag: Visual edit

24 September 2019

• curprev 05:1905:19, 24 September 2019‎ Monkbot talk contribs‎ m 15,186 bytes −1‎ →‎Syntax: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

21 June 2019

• curprev 15:0315:03, 21 June 2019‎ 128.148.231.11 talk‎ 15,187 bytes +65‎ LTL is more accurately a fragment of FO not MSO undo

18 March 2019

• curprev 10:1710:17, 18 March 2019‎ Arthur MILCHIOR talk contribs‎ m 15,122 bytes +27‎ Adding MTL in see also undo

13 February 2019

• curprev 19:3419:34, 13 February 2019‎ Shuber2 talk contribs‎ 15,095 bytes +17‎ Replace diagram png pictures by svg with lowercase φ undo
• curprev 18:5218:52, 13 February 2019‎ Shuber2 talk contribs‎ 15,078 bytes 0‎ Change inconsistent use of (uppercase) Φ to (lowercase) φ. undo