Temporal logic: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 00:4900:49, 25 June 2024‎ Cedar101 talk contribs‎ m 33,854 bytes −1‎ →‎Prior's tense logic (TL): : undo

curprev 18:2318:23, 27 April 2024‎ Sammi Brie talk contribs‎ 33,855 bytes +71‎ Importing Wikidata short description: "System for representing and reasoning about time" undo Tag: Shortdesc helper

curprev 09:4309:43, 21 February 2024‎ Sdiabhon Sdiamhon talk contribs‎ m 33,784 bytes +2‎ →‎Łoś' positional logic undo

curprev 09:2209:22, 3 November 2023‎ 2003:e3:f25:ecca:f949:98f9:442a:bc33 talk‎ 33,782 bytes 0‎ →‎History: a simple typo undo Tag: Visual edit

curprev 17:2117:21, 11 October 2023‎ Alanasings talk contribs‎ m 33,782 bytes −9‎ →‎History: minor spelling undo

curprev 21:0521:05, 1 June 2023‎ Carchasm talk contribs‎ 33,791 bytes +32‎ added Category:Philosophy of time using HotCat undo

curprev 21:2321:23, 29 March 2023‎ Citation bot talk contribs‎ 33,759 bytes +22‎ Alter: template type. Add: s2cid, jstor, isbn, series, journal, authors 1-1. Removed proxy/dead URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 123/321 undo

curprev 21:0021:00, 20 March 2023‎ David Eppstein talk contribs‎ 33,737 bytes +4‎ Dana Fisman undo

curprev 22:5622:56, 13 March 2023‎ 37.103.8.79 talk‎ 33,733 bytes −5‎ BNF grammar had two nonterminals instead of one on the left side of the productions undo

curprev 11:1611:16, 1 March 2023‎ 2600:1700:4e00:49df:a524:db05:3e8c:bb24 talk‎ 33,738 bytes +1‎ →‎Prior's tense logic (TL): Added a missing close parentheses. undo

curprev 12:4912:49, 8 February 2023‎ Randykitty talk contribs‎ 33,737 bytes −200‎ Removing link(s) / list item(s) Wikipedia:Articles for deletion/List of important publications in theoretical computer science (2nd nomination) closed as delete (XFDcloser) undo

curprev 17:4317:43, 8 December 2022‎ 157.193.240.221 talk‎ 33,937 bytes +335‎ No edit summary undo

curprev 09:4309:43, 26 October 2022‎ Columbus240 talk contribs‎ m 33,602 bytes +1‎ →‎Temporal logics: Fix typo undo

curprev 20:2120:21, 6 October 2022‎ The-erinaceous-one talk contribs‎ 33,601 bytes −93‎ Merge the "Types of Temporal Logic" section I just added to the existing section undo
curprev 20:1620:16, 6 October 2022‎ The-erinaceous-one talk contribs‎ 33,694 bytes +175‎ →‎See also: Added types of temporal logic undo

curprev 13:4513:45, 11 June 2022‎ Nbrader talk contribs‎ m 33,519 bytes +4‎ →‎Łoś' positional logic undo
curprev 13:4213:42, 11 June 2022‎ Nbrader talk contribs‎ m 33,515 bytes +2‎ →‎History undo
curprev 13:4013:40, 11 June 2022‎ Nbrader talk contribs‎ m 33,513 bytes +8‎ →‎History undo
curprev 13:3413:34, 11 June 2022‎ Nbrader talk contribs‎ m 33,505 bytes −1‎ →‎History undo

curprev 02:2802:28, 2 June 2022‎ Thatsme314 talk contribs‎ m 33,506 bytes 0‎ →‎References: uppercase undo

curprev 05:0205:02, 6 May 2022‎ 49.184.195.195 talk‎ 33,506 bytes −4‎ →‎History: Again, same. undo Tags: Mobile edit Mobile web edit
curprev 05:0005:00, 6 May 2022‎ 49.184.195.195 talk‎ 33,510 bytes −8‎ →‎History: Same again. undo Tags: Mobile edit Mobile web edit
curprev 04:5704:57, 6 May 2022‎ 49.184.195.195 talk‎ 33,518 bytes −8‎ →‎History: Red text, Łoś' positional logic, is not a seperate page, it is already part of this page. Signed - Tweedledee undo Tags: Mobile edit Mobile web edit

curprev 17:4917:49, 29 April 2022‎ Orenburg1 talk contribs‎ m 33,526 bytes −1‎ sp undo

curprev 17:3517:35, 25 April 2022‎ EditorPerson53 talk contribs‎ m 33,527 bytes −12‎ →‎Motivation: Removed unnecessary use of italics. undo

curprev 19:1819:18, 19 April 2022‎ Willondon talk contribs‎ m 33,539 bytes +144‎ →‎Temporal operators: fill in bare ref undo

curprev 23:2023:20, 18 April 2022‎ 2a02:c7f:5c7a:1f00:4525:e293:e38a:781a talk‎ 33,395 bytes +2‎ No edit summary undo Tag: Manual revert
curprev 23:1923:19, 18 April 2022‎ 2a02:c7f:5c7a:1f00:4525:e293:e38a:781a talk‎ 33,393 bytes −1‎ No edit summary undo Tag: Reverted
curprev 23:1823:18, 18 April 2022‎ 2a02:c7f:5c7a:1f00:4525:e293:e38a:781a talk‎ 33,394 bytes −1‎ No edit summary undo Tag: Reverted

curprev 01:2601:26, 2 April 2022‎ Vroom321 talk contribs‎ 33,395 bytes 0‎ →‎Motivation undo Tag: Visual edit

curprev 18:5718:57, 27 February 2022‎ Xinxtang talk contribs‎ 33,395 bytes −13‎ →‎Prior's tense logic (TL) undo Tag: Visual edit

curprev 23:1423:14, 3 February 2022‎ 63.169.120.136 talk‎ 33,408 bytes +1‎ →‎History: spelling undo

curprev 20:0320:03, 16 November 2021‎ Elmidae talk contribs‎ 33,407 bytes +7‎ Undid revision 1055598180 by 131.119.15.14 (talk) that is not an improvement - confuses the issues with changing verbs undo Tag: Undo
curprev 19:3919:39, 16 November 2021‎ 131.119.15.14 talk‎ 33,400 bytes −7‎ Hungry and eating... to here and leaving... Obese society... undo Tag: Reverted

curprev 18:0518:05, 30 October 2021‎ JohnFromPinckney talk contribs‎ m 33,407 bytes +1‎ invetions->inventions - Fix a typo in one click undo

curprev 04:4304:43, 4 October 2021‎ OAbot talk contribs‎ m 33,406 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

curprev 11:1111:11, 30 September 2021‎ Arjayay talk contribs‎ m 33,390 bytes +1‎ refered > referred undo
curprev 11:0411:04, 30 September 2021‎ Keith D talk contribs‎ 33,389 bytes −311‎ Fix cite date error undo Tag: AWB

curprev 19:3019:30, 29 September 2021‎ Alekparol talk contribs‎ 33,700 bytes +1,310‎ Łoś's positional logic overview undo Tag: Visual edit
curprev 19:0719:07, 29 September 2021‎ Alekparol talk contribs‎ 32,390 bytes +2,052‎ Adding a paragraph about Rescher's developments and Łoś' influence on Prior undo Tag: Visual edit

curprev 20:5320:53, 27 September 2021‎ Alekparol talk contribs‎ 30,338 bytes +2,798‎ Adding Łoś' axioms undo Tag: Visual edit
curprev 19:4419:44, 27 September 2021‎ Alekparol talk contribs‎ 27,540 bytes +1,870‎ Adding a paragraph about Jerzy Łoś undo Tag: Visual edit

curprev 04:4604:46, 23 August 2021‎ OAbot talk contribs‎ m 25,670 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

curprev 06:1406:14, 17 August 2021‎ Citation bot talk contribs‎ 25,654 bytes +1,023‎ Alter: template type. Add: isbn, series, chapter, chapter-url, s2cid, pages, issue, volume, journal, year, title, doi, authors 1-10. Removed or converted URL. Changed bare reference to CS1/2. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. Upgrade ISBN10 to ISBN13. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 1216/1358 undo

curprev 07:5207:52, 27 May 2021‎ Cedar101 talk contribs‎ m 24,631 bytes −132‎ →‎Temporal operators: \mathbf undo

curprev 07:3807:38, 30 March 2021‎ 117.98.146.23 talk‎ 24,763 bytes +111‎ →‎Temporal logics undo

curprev 03:5203:52, 20 January 2021‎ Monkbot talk contribs‎ m 24,652 bytes +1‎ Task 18 (cosmetic): eval 14 templates: hyphenate params (1×); undo Tag: AWB

curprev 08:1008:10, 15 January 2021‎ Yobot talk contribs‎ m 24,651 bytes 0‎ →‎Prior's tense logic (TL): References after punctuation per WP:REFPUNCT, WP:CITEFOOT, WP:PAIC + other fixes undo Tag: AWB

curprev 05:4905:49, 7 December 2020‎ Monkbot talk contribs‎ m 24,651 bytes −85‎ Task 18 (cosmetic): eval 14 templates: del empty params (7×); hyphenate params (1×); del |url-status= (1×); undo Tag: AWB

curprev 04:1804:18, 25 June 2020‎ ShelfSkewed talk contribs‎ 24,736 bytes +12‎ Fixed/updated link undo

25 June 2024

27 April 2024

21 February 2024

3 November 2023

11 October 2023

1 June 2023

29 March 2023

20 March 2023

13 March 2023

1 March 2023

8 February 2023

8 December 2022

26 October 2022

6 October 2022

11 June 2022

2 June 2022

6 May 2022

29 April 2022

25 April 2022

19 April 2022

18 April 2022

2 April 2022

27 February 2022

3 February 2022

16 November 2021

30 October 2021

4 October 2021

30 September 2021

29 September 2021

27 September 2021

23 August 2021

17 August 2021

27 May 2021

30 March 2021

20 January 2021

15 January 2021

7 December 2020

25 June 2020