Jump to content

Game semantics: Revision history

View logs for this page (view filter log)

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 20:4520:45, 26 May 2025 OAbot talk contribs m 23,170 bytes +125 Open access bot: url-access updated in citation with #oabot. undo

curprev 18:2118:21, 15 May 2025 7804j talk contribs 23,045 bytes +978 Rewrite lead undo Tag: Visual edit

curprev 19:2519:25, 23 October 2024 Monkbot talk contribs m 22,067 bytes +1 Task 20: replace {lang-??} templates with {langx|??} ‹See Tfd› (Replaced 1); undo Tag: AWB

curprev 13:5613:56, 19 April 2024 Citation bot talk contribs 22,066 bytes −2 Altered title. | Use this bot. Report bugs. | Suggested by Superegz | Category:Quantifier (logic)‎ | #UCB_Category 11/19 undo

curprev 18:3718:37, 5 January 2024 82.25.27.218 talk 22,068 bytes +107 No edit summary undo

curprev 14:3014:30, 13 October 2023 Kku talk contribs m 21,961 bytes +4 link [bB]ounded rationality undo

curprev 11:4511:45, 11 June 2023 Citation bot talk contribs 21,957 bytes +35 Add: s2cid, arxiv. | Use this bot. Report bugs. | Suggested by Abductive | Category:Game theory | #UCB_Category 158/205 undo

curprev 12:5612:56, 7 May 2023 150.161.2.147 talk 21,922 bytes −2 →Articles undo
curprev 12:5512:55, 7 May 2023 150.161.2.147 talk 21,924 bytes +280 →Articles undo
curprev 12:5112:51, 7 May 2023 150.161.2.147 talk 21,644 bytes +29 →History undo

curprev 17:1117:11, 16 April 2023 Citation bot talk contribs 21,615 bytes −46 Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Spinixster | Category:Semantics | #UCB_Category 287/339 undo

curprev 09:0509:05, 15 March 2023 Rchard2scout talk contribs m 21,661 bytes +4 Fix lint errors undo

curprev 22:4922:49, 29 January 2023 OAbot talk contribs m 21,657 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 15:4815:48, 14 August 2022 R. Henrik Nilsson talk contribs m 21,641 bytes −1 levell > level ; see https://link.springer.com/book/10.1007/978-3-319-91149-6 undo

curprev 08:3308:33, 15 March 2022 ZI Jony talk contribs m 21,642 bytes −12 v2.04b - Fix errors for CW project (Link with encoded space) undo Tag: WPCleaner

curprev 09:3509:35, 8 February 2022 Felix QW talk contribs 21,654 bytes −6 removed Category:Quantification (science); added Category:Quantifier (logic) using HotCat undo

curprev 13:3713:37, 11 December 2021 Citation bot talk contribs 21,660 bytes +17 Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical logic | #UCB_Category 29/207 undo

curprev 21:3921:39, 27 October 2021 46.162.73.88 talk 21,643 bytes +1,491 Added to the "Classical Logic" section a paragraph on the existence of a proof that non-repetition rules in formal dialogues and end-of-play rules in GTS are eliminable by strategic reasoning. Added to the reference section the article with the proof. undo Tag: Visual edit

curprev 19:1019:10, 8 August 2021 TheyTellusToActNotThink talk contribs m 20,152 bytes +192 →Articles undo

curprev 17:2417:24, 15 April 2021 Citation bot talk contribs 19,960 bytes +169 Alter: pages. Add: s2cid, issue, doi. Removed parameters. Formatted dashes. | Use this bot. Report bugs. | Suggested by Jonesey95 | Pages linked from cached User:Jonesey95/sandbox | via #UCB_webform_linked 424/1182 undo

curprev 15:2515:25, 13 March 2021 150.161.2.147 talk 19,791 bytes +1,959 Added references to an approach to games and logic based on "reduction rules" of proof theory undo

curprev 10:4610:46, 26 June 2020 JJMC89 bot III talk contribs m 17,832 bytes +10 Moving Category:Quantification to Category:Quantification (science) per Wikipedia:Categories for discussion/Speedy undo

curprev 17:1217:12, 24 April 2020 Biogeographist talk contribs 17,822 bytes −13 added wikilink; removed red link undo

curprev 17:2117:21, 6 April 2020 Iridescent talk contribs m 17,835 bytes −2 →Computability logic: Cleanup and typo fixing, typo(s) fixed: ’s → 's undo Tag: AWB

curprev 01:1601:16, 24 December 2019 InternetArchiveBot talk contribs 17,837 bytes +86 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0 undo

curprev 16:5216:52, 8 October 2019 134.59.11.233 talk 17,751 bytes +1 →Articles undo
curprev 16:2216:22, 8 October 2019 134.59.11.233 talk 17,750 bytes 0 →Intuitionistic logic, denotational semantics, linear logic, logical pluralism undo
curprev 16:1416:14, 8 October 2019 134.59.11.233 talk 17,750 bytes 0 →Classical logic undo
curprev 16:0516:05, 8 October 2019 134.59.11.233 talk 17,750 bytes +41 →History undo

curprev 03:1703:17, 16 September 2019 Jarble talk contribs m 17,709 bytes +16 linking undo

curprev 20:3620:36, 2 September 2019 Ben Standeven talk contribs m 17,693 bytes +1 →Intuitionistic logic, denotational semantics, linear logic, logical pluralism undo

curprev 01:2301:23, 28 August 2019 Bender235 talk contribs 17,692 bytes −201 a bit too much from single-purpose account Shahid1956 for my taste. undo

curprev 15:3415:34, 13 July 2019 Pleasantville talk contribs 17,893 bytes +14 →top: {{Semantics}} undo Tag: 2017 wikitext editor

curprev 09:1809:18, 20 June 2019 Shahid1956 talk contribs 17,879 bytes −34 →Quantifiers undo
curprev 09:1609:16, 20 June 2019 Shahid1956 talk contribs 17,913 bytes −33 No edit summary undo

curprev 13:3113:31, 19 June 2019 Shahid1956 talk contribs 17,946 bytes +65 →Intuitionistic logic, denotational semantics, linear logic, logical pluralism undo

curprev 14:5114:51, 5 June 2019 Jarble talk contribs 16,520 bytes +557 adding links to references using Google Scholar undo

curprev 14:2614:26, 26 May 2019 Ontoraul talk contribs 15,963 bytes 0 →Intuitionistic logic, denotational semantics, linear logic, logical pluralism: updated dead link undo Tag: 2017 wikitext editor
curprev 14:2414:24, 26 May 2019 Ontoraul talk contribs m 15,963 bytes 0 →Bibliography undo Tag: 2017 wikitext editor
curprev 14:2214:22, 26 May 2019 Ontoraul talk contribs 15,963 bytes +20 →References undo Tag: 2017 wikitext editor

Retrieved from "https://en.wikipedia.org/wiki/Game_semantics"