Talk: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 00:1500:15, 24 October 2024 Jonesey95 talk contribs 88,997 bytes 0 Fix high-priority Linter errors. undo

curprev 17:3917:39, 2 June 2024 Jochen Burghardt talk contribs 88,997 bytes +351 →Euclidean =/= Transitive: Reply undo Tag: Reply

curprev 21:5921:59, 31 May 2024 67.198.37.16 talk 88,646 bytes +395 →Euclidean =/= Transitive: Reply undo Tag: Reply
curprev 21:5121:51, 31 May 2024 67.198.37.16 talk 88,251 bytes +41 {{WikiProject Mathematics|priority=mid}} undo

curprev 08:1908:19, 6 February 2024 Cewbot talk contribs m 88,210 bytes +42 Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "C" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{Philosophy}}. undo Tag: Talk banner shell conversion

curprev 01:4301:43, 10 November 2022 Botterweg talk contribs 88,168 bytes +295 →Isn't the example in “Syntax for modal operators” wrong? undo

curprev 21:2721:27, 9 November 2022 PeterMuellerr0 talk contribs 87,873 bytes +4 No edit summary undo
curprev 20:5920:59, 9 November 2022 PeterMuellerr0 talk contribs 87,869 bytes +4 No edit summary undo
curprev 20:5820:58, 9 November 2022 PeterMuellerr0 talk contribs 87,865 bytes +490 No edit summary undo

curprev 02:1502:15, 15 August 2022 Dezaxa talk contribs 87,375 bytes +286 →Necessitation: new section undo Tag: New topic

curprev 19:1619:16, 14 August 2022 160.80.2.38 talk 87,089 bytes +691 As presented in the page now, Necessitation is not a rule, it is a meta-rule. undo

curprev 08:4908:49, 1 August 2022 Salix alba talk contribs m 86,398 bytes +1 →A question: Fix deprecated maths syntax errors, see https://www.mediawiki.org/wiki/Extension:Math/Roadmap, replaced: \or → \lor undo Tag: AWB

curprev 11:2511:25, 17 October 2021 MalnadachBot talk contribs m 86,397 bytes +14 Fixed Lint errors in signatures. (Task 2) undo Tag: AWB

curprev 16:0216:02, 21 November 2018 2602:306:cfce:1ee0:3044:a2c3:2683:987b talk 86,383 bytes +2,290 →Does not meet Wiki standards.: new section undo

curprev 19:4119:41, 5 June 2016 SineBot talk contribs m 84,093 bytes +277 Signing comment by 70.117.17.114 - "" undo
curprev 19:4019:40, 5 June 2016 70.117.17.114 talk 83,816 bytes +201 No edit summary undo

curprev 12:2612:26, 8 September 2014 SineBot talk contribs m 83,615 bytes +306 Signing comment by 86.185.217.237 - "→Prior and Barcan: new section" undo
curprev 12:2512:25, 8 September 2014 86.185.217.237 talk 83,309 bytes +119 →Prior and Barcan: new section undo

curprev 07:5007:50, 2 August 2014 173.25.54.191 talk 83,190 bytes −169 it's uncited undo
curprev 07:4707:47, 2 August 2014 SineBot talk contribs m 83,359 bytes +300 Signing comment by 173.25.54.191 - "moved section" undo
curprev 07:4607:46, 2 August 2014 173.25.54.191 talk 83,059 bytes +3,337 moved section undo

curprev 00:1000:10, 17 November 2013 Moonriddengirl talk contribs 79,722 bytes +1,202 No edit summary undo

curprev 10:3810:38, 20 November 2012 70.36.140.230 talk 78,520 bytes +1,982 →Last paragraph of "Epistemic logic" seems to be incorrect OR: new section undo

curprev 11:1511:15, 4 November 2012 SineBot talk contribs m 76,538 bytes +308 Signing comment by 189.178.233.172 - "→Euclidean?: " undo
curprev 11:1311:13, 4 November 2012 189.178.233.172 talk 76,230 bytes +457 →Euclidean? undo
curprev 11:0511:05, 4 November 2012 SineBot talk contribs m 75,773 bytes +308 Signing comment by 189.178.233.172 - "→the page Axiom S5 should be merged or erased the reasons in that discussion page: new section" undo
curprev 11:0311:03, 4 November 2012 189.178.233.172 talk 75,465 bytes +635 →the page Axiom S5 should be merged or erased the reasons in that discussion page: new section undo

curprev 01:0801:08, 22 October 2012 Ben Standeven talk contribs m 74,830 bytes 0 →Intuitive problems with deontic logic: oops, put my reply in the wrong place. undo
curprev 01:0801:08, 22 October 2012 Ben Standeven talk contribs 74,830 bytes +516 →Intuitive problems with deontic logic undo

curprev 07:2707:27, 10 August 2012 Pfhorrest talk contribs 74,314 bytes +1,754 →Intuitive problems with deontic logic undo
curprev 06:3506:35, 10 August 2012 150.203.209.134 talk 72,560 bytes +693 →Intuitive problems with deontic logic: deletion explained undo

curprev 10:0010:00, 3 August 2012 Javalenok talk contribs 71,867 bytes +770 →Speed of Light undo

curprev 18:4718:47, 16 July 2012 Luke Maurer talk contribs 71,097 bytes +695 No edit summary undo

curprev 14:2214:22, 8 July 2012 Linas talk contribs m 70,402 bytes −101 duality link not broken any more undo
curprev 02:2402:24, 8 July 2012 Linas talk contribs 70,503 bytes −301 →⊭ needs a definition undo
curprev 02:2202:22, 8 July 2012 Linas talk contribs 70,804 bytes +558 →Euclidean?: new section undo
curprev 02:1602:16, 8 July 2012 Linas talk contribs 70,246 bytes +106 →⊭ needs a definition undo

curprev 16:2416:24, 23 February 2012 Witbrock talk contribs 70,140 bytes +17 →Remarks undo
curprev 16:2316:23, 23 February 2012 Witbrock talk contribs 70,123 bytes +18 →Remarks undo
curprev 16:2316:23, 23 February 2012 Witbrock talk contribs 70,105 bytes +454 →Remarks undo

curprev 18:3418:34, 9 December 2011 Ohspite talk contribs 67,844 bytes +828 Problems with section: intuitive problems with deontic logic undo

curprev 19:5219:52, 29 May 2011 Jing.t86 talk contribs 67,016 bytes +402 No edit summary undo

curprev 18:2318:23, 9 January 2011 SineBot talk contribs m 66,614 bytes +275 Signing comment by 84.100.243.244 - "" undo
curprev 18:2218:22, 9 January 2011 84.100.243.244 talk 66,339 bytes +30 No edit summary undo

24 October 2024

2 June 2024

31 May 2024

6 February 2024

10 November 2022

9 November 2022

15 August 2022

14 August 2022

1 August 2022

17 October 2021

21 November 2018

5 June 2016

8 September 2014

2 August 2014

17 November 2013

20 November 2012

4 November 2012

22 October 2012

10 August 2012

3 August 2012

16 July 2012

8 July 2012

23 February 2012

22 January 2012

9 December 2011

29 May 2011

9 January 2011