Intensional 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 16:3816:38, 16 October 2024 Lebricoleur64 talk contribs m 11,734 bytes +23 Added a link on "quantifier". undo Tag: Visual edit

curprev 15:4915:49, 10 August 2024 Assem Khidhr talk contribs 11,711 bytes +50 Importing Wikidata short description: "Approach to predicate logic" undo Tag: Shortdesc helper

curprev 14:1514:15, 12 March 2024 Marcin Rychlewicz talk contribs 11,661 bytes −1 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

curprev 13:5613:56, 5 January 2024 82.25.27.218 talk 11,662 bytes +56 No edit summary undo

curprev 10:1810:18, 3 December 2023 Onel5969 talk contribs m 11,606 bytes +14 Disambiguating links to Meta (link changed to Meta (prefix)) using DisamAssist. undo

curprev 20:0020:00, 30 November 2022 InternetArchiveBot talk contribs 11,592 bytes +149 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.2) (Whoop whoop pull up - 11560 undo

curprev 14:4614:46, 6 October 2022 157.193.240.152 talk 11,443 bytes +137 No edit summary undo

curprev 22:2222:22, 13 February 2022 72.73.109.187 talk 11,306 bytes +1 →Overview undo
curprev 22:2222:22, 13 February 2022 72.73.109.187 talk 11,305 bytes 0 →Overview undo

curprev 21:5721:57, 21 July 2021 Botterweg talk contribs 11,305 bytes +26 adding Temperature paradox undo

curprev 15:3215:32, 24 March 2021 Apokrif talk contribs m 11,279 bytes +4 →Modal logic undo

curprev 20:3120:31, 26 February 2021 Botterweg talk contribs 11,275 bytes +22 adding {{Formal semantics}} undo

curprev 21:0921:09, 10 October 2020 Snowmonster talk contribs m 11,253 bytes −6 →Overview: made wording more natural (their truth value is called also extension -> their truth value is their extension) undo

curprev 18:3518:35, 24 July 2020 Omnipaedista talk contribs 11,259 bytes +57 boldface per WP:R#PLA undo

curprev 23:4123:41, 22 July 2020 Omnipaedista talk contribs 11,202 bytes 0 No edit summary undo

curprev 13:1113:11, 22 May 2019 94.65.216.254 talk 11,202 bytes 0 No edit summary undo
curprev 13:0513:05, 22 May 2019 94.65.216.254 talk 11,202 bytes −1 No edit summary undo
curprev 13:0013:00, 22 May 2019 94.65.216.254 talk 11,203 bytes 0 No edit summary undo

curprev 01:5501:55, 6 February 2019 Flagrant hysterical curious talk contribs 11,203 bytes +16 →See also undo

curprev 12:2412:24, 28 January 2019 Abelmoschus Esculentus talk contribs m 11,187 bytes +18 Reverted edits by 196.191.96.41 (talk): editing tests (HG) (3.4.7) undo Tags: Huggle Rollback
curprev 12:2212:22, 28 January 2019 196.191.96.41 talk 11,169 bytes −18 No edit summary undo Tag: Visual edit

curprev 13:3013:30, 1 July 2017 Omnipaedista talk contribs 11,187 bytes −80 rm obsolete tag undo
curprev 13:2913:29, 1 July 2017 Omnipaedista talk contribs 11,267 bytes +36 dab undo

curprev 08:2408:24, 5 June 2016 PBS-AWB talk contribs 11,231 bytes +23 modification to template Cite SEP and possibly some gen fixes using AWB undo

curprev 00:5200:52, 16 December 2015 Gcevanna talk contribs 11,208 bytes −23 No edit summary undo

curprev 08:1208:12, 18 November 2015 John of Reading talk contribs m 11,231 bytes +21 Typo/general fixes, replaced: alongside with → along with, typo(s) fixed: ie → i.e. (2) using AWB undo

curprev 19:0919:09, 8 November 2015 Klbrain talk contribs m 11,210 bytes +14 Disambiguated: Dynamic logic → dynamic logic (modal logic) undo

curprev 03:3703:37, 10 June 2015 73.25.106.171 talk 11,196 bytes 0 No edit summary undo

curprev 23:3123:31, 19 November 2014 Monkbot talk contribs m 11,196 bytes 0 →References: Task 6h: add |script-title=; replace {{xx icon}} with |language= in CS1 citations; clean up language icons; undo

curprev 22:1422:14, 22 September 2014 Jodosma talk contribs 11,196 bytes +1 typo: coresponding→corresponding undo

curprev 12:1812:18, 8 September 2014 86.185.217.237 talk 11,195 bytes −9 →Type theoretical intensional logic undo

curprev 22:0322:03, 20 August 2014 BD2412 talk contribs m 11,204 bytes +19 →Modal logic: minor fixes, mostly disambig links using AWB undo

curprev 01:5501:55, 16 June 2014 MaxPlankton talk contribs 11,185 bytes +8 →Modal logic undo Tag: gettingstarted edit
curprev 01:5301:53, 16 June 2014 MaxPlankton talk contribs 11,177 bytes +1,117 No edit summary undo Tag: gettingstarted edit

curprev 21:4321:43, 13 July 2013 Miracle Pen talk contribs 10,060 bytes −29 No edit summary undo

curprev 00:2500:25, 14 March 2013 Addbot talk contribs m 10,089 bytes −57 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q6044335 undo

curprev 21:1821:18, 23 June 2012 Gregbard talk contribs 10,146 bytes +29 added Category:Predicate logic using HotCat undo

curprev 23:5623:56, 24 May 2012 Rlithgow talk contribs m 10,117 bytes 0 Grammar/Word Usage Correction. Replaced ". . . argument places to fill in. If we fill in them with appropriate subexpressions, . . ." with ". . . argument places to fill in. If we fill them in with appropriate subexpressions, . . ." undo
curprev 07:3507:35, 24 May 2012 Gregbard talk contribs 10,117 bytes +33 added Category:Philosophical logic using HotCat undo

curprev 16:5016:50, 16 March 2012 Helpful Pixie Bot talk contribs m 10,084 bytes 0 ISBNs (Build J/) undo

curprev 01:3401:34, 11 March 2012 Helpful Pixie Bot talk contribs m 10,084 bytes −2 Fixed header External Links => External links (Build J2) undo

curprev 08:0408:04, 22 November 2011 Ontoraul talk contribs 10,086 bytes +10 →External links: Standardized the reference to Stanford Encyclopedia of Philosophy undo
curprev 04:2204:22, 22 November 2011 Johnuniq talk contribs 10,076 bytes −128 Undid revision 461863483 by Billy Ockham (talk) banned user undo
curprev 01:1601:16, 22 November 2011 Billy Ockham talk contribs 10,204 bytes +128 →External Links: added undo

curprev 21:1021:10, 23 June 2011 Nick Number talk contribs m 10,076 bytes +8 repaired link(s) to disambiguation page - (you can help) - Formal semantics undo

curprev 06:4706:47, 28 March 2011 SmackBot talk contribs m 10,068 bytes +16 Dated {{One source}}. (Build p608) undo
curprev 06:4106:41, 28 March 2011 Tijfo098 talk contribs 10,052 bytes +15 I'm pretty sure sources other than Ruzsa, Imre have written on this, and in English. See WP:NONENG undo

curprev 14:1114:11, 10 March 2011 Citation bot 1 talk contribs m 10,037 bytes −14 No edit summary undo

curprev 10:0210:02, 5 February 2011 AKappa talk contribs m 10,051 bytes −1 →Modal logic undo

curprev 15:1915:19, 28 January 2011 194.128.20.115 talk 10,052 bytes +78 Added external link to the Stanford Encyclopedia of Philosophy undo

16 October 2024

10 August 2024

12 March 2024

5 January 2024

3 December 2023

30 November 2022

6 October 2022

13 February 2022

21 July 2021

24 March 2021

26 February 2021

10 October 2020

24 July 2020

22 July 2020

22 May 2019

6 February 2019

28 January 2019

1 July 2017

5 June 2016

16 December 2015

18 November 2015

8 November 2015

10 June 2015

19 November 2014

22 September 2014

8 September 2014

20 August 2014

16 June 2014

13 July 2013

14 March 2013

23 June 2012

24 May 2012

16 March 2012

11 March 2012

22 November 2011

23 June 2011

28 March 2011

10 March 2011

5 February 2011

28 January 2011