Normal 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 06:2406:24, 18 February 2025 Revirvlkodlaku talk contribs 2,425 bytes +42 Added short description undo Tags: Mobile edit Mobile app edit Android app edit App description add

curprev 21:5721:57, 14 February 2025 Oneequalsequalsone talk contribs 2,383 bytes −1 Undid revision 1274699668 by 46.99.9.145 (talk) undo Tag: Undo

curprev 19:5219:52, 8 February 2025 46.99.9.145 talk 2,384 bytes +1 →Common normal modal logics undo Tags: Manual revert Reverted

curprev 20:4120:41, 27 December 2024 Oneequalsequalsone talk contribs m 2,383 bytes −1 No edit summary undo Tags: Reverted 2017 wikitext editor
curprev 20:3920:39, 27 December 2024 Oneequalsequalsone talk contribs m 2,384 bytes 0 No edit summary undo Tag: 2017 wikitext editor

curprev 13:4513:45, 28 February 2024 Omnipaedista talk contribs 2,384 bytes −23 not linked from the template undo

curprev 18:2218:22, 21 February 2024 Jarble talk contribs 2,407 bytes +24 adding Template:Non-classical logic undo

curprev 21:5321:53, 1 December 2023 Lispnik talk contribs m 2,383 bytes +5 Link to "Kripke semantics" is more informative in this context undo

curprev 17:1017:10, 19 October 2022 2a02:1812:110c:dc00:7485:bad8:f6b3:110 talk 2,378 bytes +27 No edit summary undo
curprev 13:3413:34, 19 October 2022 2a02:1812:110c:dc00:6531:c484:a25:edd9 talk 2,351 bytes +33 No edit summary undo

curprev 13:4813:48, 15 May 2019 185.24.187.196 talk 2,318 bytes +108 No edit summary undo

curprev 12:2212:22, 13 May 2019 94.65.216.254 talk 2,210 bytes +4 MOS:CAPS undo

curprev 01:4801:48, 16 December 2018 Rgdboer talk contribs m 2,206 bytes +20 →Common normal modal logics: lk Serial relation undo

curprev 19:4619:46, 15 December 2018 67.198.37.16 talk 2,186 bytes +5 →Common normal modal logics: GL also called K4W undo

curprev 18:1518:15, 16 January 2018 EmilJ talk contribs 2,181 bytes +105 +reference undo

curprev 01:0801:08, 9 June 2017 Wingedserif talk contribs 2,076 bytes +16 Link to Saul Kripke page undo

curprev 15:3615:36, 11 May 2017 Paradoctor talk contribs m 2,060 bytes +9 →Common normal modal logics: anchor for K undo

curprev 06:4906:49, 26 March 2017 The Anome talk contribs m 2,051 bytes −4 Reverted edits by The Anome (talk) to last version by Cic undo
curprev 06:4906:49, 26 March 2017 The Anome talk contribs 2,055 bytes +4 Kripke schema undo

curprev 20:0520:05, 16 September 2016 Cic talk contribs m 2,051 bytes −37 Blank line problem undo

curprev 15:5015:50, 17 August 2015 85.178.198.113 talk 2,088 bytes 0 Undid revision 676528968 by 85.178.198.113 (talk) self-revert, doesn't work, but why? undo
curprev 15:4815:48, 17 August 2015 85.178.198.113 talk 2,088 bytes 0 →Common normal modal logics: replace onlyinclude with includeonly undo

curprev 17:3517:35, 15 August 2015 85.178.210.32 talk 2,088 bytes +27 don't transclude sentence relevant only here undo
curprev 17:3217:32, 15 August 2015 85.178.210.32 talk 2,061 bytes +1,140 transferred table from Kripke semantics undo

curprev 14:1314:13, 7 March 2013 Addbot talk contribs m 921 bytes −81 Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q840226 undo

curprev 01:2301:23, 11 January 2010 ClueBot talk contribs m 1,002 bytes −5 Reverting possible vandalism by 81.111.63.69 to version by Rich Farmbrough. False positive? Report it. Thanks, ClueBot. (520002) (Bot) undo
curprev 01:2301:23, 11 January 2010 81.111.63.69 talk 1,007 bytes +5 No edit summary undo

curprev 01:0101:01, 6 December 2009 Rich Farmbrough talk contribs m 1,002 bytes −14 remove Erik9bot category, no longer needed for this article using Project:AWB undo

curprev 13:5413:54, 10 November 2009 SmackBot talk contribs m 1,016 bytes +19 Date maintenance tags and general fixes undo
curprev 04:5004:50, 10 November 2009 Heyitspeter talk contribs 997 bytes +18 Cause it doesn't undo

curprev 17:4117:41, 18 August 2009 GrouchoBot talk contribs m 979 bytes +25 robot Adding: de:Normale Modallogik undo

curprev 19:3919:39, 5 July 2009 Erik9bot talk contribs 954 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

curprev 20:5620:56, 20 February 2009 Nortexoid talk contribs 905 bytes +8 make clear that mp is a "rule of consequence" and necessitation a "rule of proof". one might wish to express the former as a formula-to-formula rule. undo

curprev 02:3202:32, 7 November 2008 HanielBarbosa talk contribs 897 bytes +29 No edit summary undo

curprev 12:2512:25, 3 October 2008 Nortexoid talk contribs 868 bytes +107 No edit summary undo

curprev 23:0823:08, 2 October 2008 75.33.88.198 talk 761 bytes −8 No edit summary undo

curprev 21:2521:25, 4 November 2007 132.181.160.42 talk 769 bytes −12 No edit summary undo

curprev 12:3112:31, 10 August 2007 Tizio talk contribs 781 bytes +21 link S5 (modal logic) undo

curprev 14:1314:13, 21 July 2007 CBM talk contribs 760 bytes −4 switch stub type undo

curprev 06:2706:27, 5 February 2007 Zero sharp talk contribs 764 bytes +19 detachment -> M.P. undo

curprev 07:1407:14, 27 January 2007 David Eppstein talk contribs m 745 bytes +5 stub sorting undo

curprev 23:5023:50, 4 January 2007 Nortexoid talk contribs 740 bytes +26 No edit summary undo

curprev 18:1818:18, 2 October 2006 Sirmob talk contribs 714 bytes +20 disambig link undo

curprev 15:1815:18, 8 July 2006 202.36.179.65 talk 694 bytes +101 mention S4 and S5 undo
curprev 15:1515:15, 8 July 2006 202.36.179.65 talk 593 bytes +106 style edits undo

curprev 15:2115:21, 7 January 2006 YurikBot talk contribs m 487 bytes +1 robot Modifying: zh undo

curprev 08:5208:52, 5 December 2005 Mhss talk contribs m 486 bytes +26 No edit summary undo

curprev 04:1504:15, 20 October 2005 Chalst talk contribs 460 bytes +6 <>cat undo

curprev 18:4518:45, 28 May 2005 Oleg Alexandrov talk contribs 454 bytes +5 {{math-stub}} undo

curprev 12:5012:50, 19 August 2004 Charles Matthews talk contribs m 449 bytes +37 intro, cat undo

18 February 2025

14 February 2025

8 February 2025

27 December 2024

28 February 2024

21 February 2024

1 December 2023

19 October 2022

15 May 2019

13 May 2019

16 December 2018

15 December 2018

16 January 2018

9 June 2017

11 May 2017

26 March 2017

16 September 2016

17 August 2015

15 August 2015

7 March 2013

11 January 2010

6 December 2009

10 November 2009

18 August 2009

5 July 2009

20 February 2009

7 November 2008

3 October 2008

2 October 2008

4 November 2007

10 August 2007

21 July 2007

5 February 2007

27 January 2007

4 January 2007

2 October 2006

8 July 2006

7 January 2006

5 December 2005

20 October 2005

28 May 2005

19 August 2004