Classical modal 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 14:4614:46, 1 March 2024 Omnipaedista talk contribs 1,407 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

curprev 15:0515:05, 29 February 2024 Jarble talk contribs 1,431 bytes +24 adding Template:Non-classical logic undo Tag: Reverted

curprev 13:4213:42, 28 February 2024 Omnipaedista talk contribs 1,407 bytes −23 not linked from the template undo

curprev 18:2818:28, 21 February 2024 Jarble talk contribs 1,430 bytes +22 adding Template:Non-classical logic undo

curprev 02:5302:53, 27 March 2023 Citation bot talk contribs 1,408 bytes −132 Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 22:0022:00, 24 March 2023 Vstephen B talk contribs m 1,540 bytes +4 indenting undo

curprev 17:2017:20, 19 October 2022 2a02:1812:110c:dc00:7485:bad8:f6b3:110 talk 1,536 bytes +61 No edit summary undo

curprev 16:1916:19, 20 December 2020 78.149.213.27 talk 1,475 bytes +10 No edit summary undo

curprev 16:3116:31, 28 April 2020 Omnipaedista talk contribs 1,465 bytes +5 rv 69.175.0.0/17 undo
curprev 16:2916:29, 28 April 2020 Omnipaedista talk contribs 1,460 bytes −27 see MOS:SECTIONORDER undo

curprev 13:2913:29, 28 October 2019 69.175.34.156 talk 1,487 bytes −1 No edit summary undo

curprev 20:2320:23, 6 June 2019 Jarble talk contribs 1,488 bytes +218 adding links to references using Google Scholar undo

curprev 22:0422:04, 17 March 2013 Addbot talk contribs m 1,270 bytes −32 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q5128344 undo

curprev 14:0114:01, 28 February 2013 EmilJ talk contribs m 1,302 bytes +21 dab link undo

curprev 12:0512:05, 10 November 2012 Gregbard talk contribs m 1,281 bytes +22 closure undo

curprev 02:0502:05, 23 November 2010 Gregbard talk contribs 1,259 bytes −19 removed Category:Logic using HotCat undo

curprev 08:3608:36, 27 July 2010 Spug talk contribs m 1,278 bytes +110 No edit summary undo
curprev 08:3508:35, 27 July 2010 Spug talk contribs m 1,168 bytes +4 language undo
curprev 08:3508:35, 27 July 2010 Spug talk contribs m 1,164 bytes +61 No edit summary undo

curprev 08:5908:59, 30 June 2010 SmackBot talk contribs m 1,103 bytes +37 Correct cap in header and/or general fixes. undo

curprev 05:2505:25, 11 February 2010 Oracleofottawa talk contribs 1,066 bytes +40 No edit summary undo

curprev 03:4403:44, 28 January 2009 24.141.172.175 talk 1,026 bytes +36 No edit summary undo

curprev 02:3802:38, 7 November 2008 HanielBarbosa talk contribs 990 bytes +1 No edit summary undo
curprev 02:3802:38, 7 November 2008 HanielBarbosa talk contribs 989 bytes +31 No edit summary undo

curprev 22:1722:17, 12 July 2008 JackSchmidt talk contribs m 958 bytes −2 →References: stub sort undo

curprev 22:1222:12, 23 May 2008 Jabencarsey talk contribs 960 bytes +1 No edit summary undo
curprev 22:1222:12, 23 May 2008 Jabencarsey talk contribs 959 bytes +8 No edit summary undo
curprev 04:5404:54, 23 May 2008 Bhudson talk contribs 951 bytes +10 this is a stub; it's missing a lot of introductory material undo

curprev 20:3220:32, 18 April 2008 Nortexoid talk contribs 941 bytes −32 the terminology is standard and other sources are popular, though i expect one needn't list them all. it is originally taken from Segerberg's classical dissertation. undo

curprev 06:2106:21, 31 January 2008 SmackBot talk contribs m 973 bytes +15 Date the maintenance tags or general fixes, Replaced: date={{subst:CURRENTMONTHNAME}} {{subst:CURRENTYEAR}} → date=January 2008 undo

curprev 04:3104:31, 29 January 2008 Doctorfluffy talk contribs m 958 bytes +17 tag undo

curprev 13:5613:56, 20 December 2007 Nortexoid talk contribs m 941 bytes +103 No edit summary undo

curprev 12:3612:36, 18 December 2007 Nortexoid talk contribs 838 bytes +838 initial stub

1 March 2024

29 February 2024

28 February 2024

21 February 2024

27 March 2023

24 March 2023

19 October 2022

20 December 2020

28 April 2020

28 October 2019

6 June 2019

17 March 2013

28 February 2013

10 November 2012

23 November 2010

27 July 2010

30 June 2010

11 February 2010

28 January 2009

7 November 2008

12 July 2008

23 May 2008

18 April 2008

31 January 2008

29 January 2008

20 December 2007

18 December 2007