Alternating-time 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 18:5618:56, 1 June 2023 Carchasm talk contribs 4,661 bytes +3 removed Category:Modal logic; added Category:Temporal logic using HotCat - more specific subcat undo
curprev 09:2709:27, 1 June 2023 IrrationalSynth talk contribs 4,658 bytes +11 Wrong type of games. This logic concerns mathematical games, not video games. undo Tag: Visual edit

curprev 09:2909:29, 22 April 2023 Dhugot talk contribs 4,647 bytes +1 →Extensions and variants: Corrected grammar to be consistent with other Wikipedia articles (i.e., singular vs plural pronoun, “One” not “We”). I did not merely replace the word “we” with “one” because it could be misinterpreted as the number 1. undo Tags: Mobile edit Mobile web edit Advanced mobile edit
curprev 09:2609:26, 22 April 2023 Dhugot talk contribs 4,646 bytes 0 →Examples: Corrected grammar to be consistent with other Wikipedia articles (i.e., singular vs plural pronoun, “One” not “We”) undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 11:0011:00, 28 September 2020 Citation bot talk contribs 4,403 bytes +97 Add: url, s2cid, author pars. 1-1. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Suggested by SemperIocundus | via #UCB_webform undo

curprev 12:5112:51, 18 April 2020 OAbot talk contribs m 4,307 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 08:5008:50, 4 December 2019 Citation bot talk contribs m 4,291 bytes −137 Add: url. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 20:5620:56, 1 February 2019 Ferret talk contribs 1,713 bytes +6 →top: AWB, genfixes, repair links to single-player/multiplayer topics for VGs, replaced: multiplayer game → multiplayer video game undo Tag: AWB

curprev 15:2315:23, 24 September 2012 Yobot talk contribs m 1,033 bytes −2 clean up, References after punctuation per WP:REFPUNC and WP:PAIC using AWB (8434) undo

curprev 15:0215:02, 24 June 2009 SmackBot talk contribs m 987 bytes 0 Standard headings/general fixes, Replaced: ==Reference== → ==References==, undo

curprev 20:0520:05, 23 February 2009 Lucaszeng talk contribs 987 bytes +987 Created a page for Alternating-time Temporal Logic