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 18:4018:40, 25 May 2025 OAbot talk contribs m 62,702 bytes +28 Open access bot: url-access updated in citation with #oabot. undo

curprev 07:1007:10, 26 April 2025 Jochen Burghardt talk contribs m 62,674 bytes +1 →Extensions: typo undo

curprev 21:5521:55, 24 April 2025 Yesterday, all my dreams... talk contribs 62,673 bytes +191 →Extensions undo
curprev 21:5221:52, 24 April 2025 Yesterday, all my dreams... talk contribs 62,482 bytes +24 →Extensions: lnk undo
curprev 21:5121:51, 24 April 2025 Yesterday, all my dreams... talk contribs 62,458 bytes +329 →Extensions: Intuitionistic logic undo

curprev 22:4222:42, 22 April 2025 Yesterday, all my dreams... talk contribs 61,746 bytes +10 →Extensions undo
curprev 22:4022:40, 22 April 2025 Yesterday, all my dreams... talk contribs 61,736 bytes +4 →Extensions: link undo
curprev 22:3922:39, 22 April 2025 Yesterday, all my dreams... talk contribs 61,732 bytes +307 →Metaphysical questions: extensions undo

curprev 14:0914:09, 14 April 2025 130.43.208.247 talk 61,425 bytes +436 →Physical possibility: Added scholarly article for difference between physical and empirical possibility undo

curprev 11:0311:03, 5 April 2025 Oneequalsequalsone talk contribs m 60,989 bytes 0 →History undo Tag: Visual edit

curprev 08:4408:44, 4 February 2025 Jochen Burghardt talk contribs 60,989 bytes +1 Undid revision 1273761152 by 46.99.29.117 (talk) undo Tag: Undo

curprev 22:1822:18, 3 February 2025 46.99.29.117 talk 60,988 bytes −1 →Temporal logic undo Tag: Reverted

curprev 08:2508:25, 12 January 2025 MathKeduor7 talk contribs m 60,989 bytes +4 link Oxford University Press undo

curprev 21:4121:41, 21 November 2024 2605:59c8:1855:9210:489d:2765:d82b:3f0c talk 60,985 bytes −74 →Alethic logic: The very first sentence when one selects Kripke semantics' link informs the audience that possible world semantics are "often confused with Kripke semantics." That's a plain contradiction! Either the line I deleted is falsidical, or the parenthetical at the head of the Kripke semantics article is. Either way, it is impossible for Kripke semantics, A, to be possible world semantics, -A, given the veracity of the aforementioned parenthetical! undo Tags: Mobile edit Mobile web edit

curprev 19:1519:15, 18 November 2024 Jochen Burghardt talk contribs 61,059 bytes −21 Undid revision 1258180987 by 742a (talk): unjustified change undo Tag: Undo
curprev 15:4315:43, 18 November 2024 742a talk contribs 61,080 bytes +21 Clarified language and added link undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 05:5505:55, 27 September 2024 Citation bot talk contribs 61,059 bytes +23 Add: issue, volume, journal. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 2260/3309 undo

curprev 23:1723:17, 4 September 2024 AnomieBOT talk contribs m 61,036 bytes +20 Dating maintenance tags: {{Citation needed}} undo
curprev 22:5622:56, 4 September 2024 BalinKingOfMoria talk contribs 61,016 bytes +19 →Structural proof theory: Add "citation needed" tag undo Tag: 2017 wikitext editor

curprev 22:2222:22, 30 May 2024 Autisticeditor 20 talk contribs 60,997 bytes +1 tweaked #article-section-source-editor undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 14:1014:10, 24 May 2024 Davide King talk contribs 60,996 bytes +31 ce undo

curprev 16:5516:55, 15 May 2024 Oneequalsequalsone talk contribs m 60,965 bytes +21 No edit summary undo Tag: Visual edit

curprev 11:5111:51, 8 May 2024 DuncanHill talk contribs 60,944 bytes +185 →References: Supply missing source, fix harv/sfn no-target error undo

curprev 03:1503:15, 7 May 2024 A bag of many boiled potatoes talk contribs 60,759 bytes −20 →Axiomatic systems undo Tags: harv or sfn error Mobile edit Mobile app edit Android app edit

curprev 05:4605:46, 18 April 2024 Jochen Burghardt talk contribs 60,779 bytes +8 →Further applications: don't suggest that a god's existence can be proven mathematically undo

curprev 22:0622:06, 17 April 2024 Firope talk contribs 60,771 bytes +348 →Further applications undo

curprev 20:0520:05, 16 March 2024 Botterweg talk contribs 60,423 bytes +15 Reverted good faith edits by Arnbiology (talk): Reverting random link to "processing" and accompanying abberant changes undo Tags: Twinkle Undo
curprev 19:2919:29, 16 March 2024 Arnbiology talk contribs m 60,408 bytes 0 processing necessary to being and.. undo Tag: Reverted
curprev 19:1619:16, 16 March 2024 Arnbiology talk contribs m 60,408 bytes −15 more about movement and change undo Tag: Reverted

curprev 13:5213:52, 28 February 2024 Omnipaedista talk contribs 60,423 bytes −1 see MOS:SECTIONORDER undo

curprev 19:5219:52, 2 February 2024 Botterweg talk contribs 60,424 bytes +77 a little tinkering to the lead + removing template that I regard as resolved (though feel free to replace it if anyone disagrees) undo
curprev 19:2619:26, 2 February 2024 Botterweg talk contribs 60,347 bytes −8 Undid revision 1202432536 by HegelianGenius (talk) rv good faith edit. I appreciate the attempt to make things more accessible, but this is misleading undo Tag: Undo
curprev 19:2119:21, 2 February 2024 HegelianGenius talk contribs 60,355 bytes +8 Significantly condensed the intro without losing either of the examples, aiming for readability over 100% philosophical clarity undo Tag: Reverted

curprev 08:1408:14, 15 November 2023 2601:540:ca80:5fb0:cdb2:2b5e:da55:5378 talk 60,347 bytes 0 improve undo

curprev 22:5922:59, 8 November 2023 Mindmatrix talk contribs m 60,347 bytes −21 Reverted edit by 199.249.109.189 (talk) to last version by Roastedbeanz1 undo Tag: Rollback
curprev 21:1421:14, 8 November 2023 199.249.109.189 talk 60,368 bytes +21 No edit summary undo Tags: Reverted Visual edit Disambiguation links added

curprev 17:4817:48, 29 October 2023 Roastedbeanz1 talk contribs m 60,347 bytes −18 Spelling/grammar/punctuation/typographical correction undo Tag: Visual edit

curprev 17:1717:17, 22 August 2023 Citation bot talk contribs 60,365 bytes −72 Add: authors 1-1. Removed proxy/dead URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 134/3850 undo

curprev 00:1100:11, 13 August 2023 OAbot talk contribs m 60,437 bytes +18 Open access bot: doi added to citation with #oabot. undo

curprev 12:3212:32, 8 August 2023 First Comet talk contribs m 60,419 bytes 0 No edit summary undo

curprev 19:2719:27, 2 August 2023 Jochen Burghardt talk contribs 60,419 bytes −2 "can not" --> "cannot" (2x) undo
curprev 18:4318:43, 2 August 2023 HeyElliott talk contribs 60,421 bytes −11 MOS:NOTE, WP:N'T undo Tag: 2017 wikitext editor

curprev 01:3101:31, 25 June 2023 2600:6c50:97f:6000:aa1d:27f5:4042:54ca talk 60,432 bytes +1 corrected a book title undo

curprev 21:1321:13, 23 June 2023 Thelonious.sphere.monk talk contribs m 60,431 bytes −2 Fixed grammar undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 10:4410:44, 4 June 2023 Shhhnotsoloud talk contribs m 60,433 bytes −8 →References: copyedit ref undo

25 May 2025

26 April 2025

24 April 2025

23 April 2025

22 April 2025

14 April 2025

5 April 2025

4 February 2025

3 February 2025

12 January 2025

21 November 2024

18 November 2024

27 September 2024

4 September 2024

30 May 2024

24 May 2024

15 May 2024

8 May 2024

7 May 2024

18 April 2024

17 April 2024

16 March 2024

28 February 2024

2 February 2024

15 November 2023

8 November 2023

29 October 2023

22 August 2023

13 August 2023

8 August 2023

2 August 2023

25 June 2023

23 June 2023

4 June 2023