Jump to content

Non-normal modal logic: Revision history

View logs for this page (view filter log)

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 01:4701:47, 27 May 2025 OAbot talk contribs m 9,887 bytes +25 Open access bot: url-access updated in citation with #oabot. undo

curprev 09:5909:59, 23 March 2025 Citation bot talk contribs 9,862 bytes −48 Add: series, jstor, pages. Removed URL that duplicated identifier. Removed access-date with no URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Ringo62 | Category:Modal logic | #UCB_Category 23/50 undo

curprev 14:4714:47, 1 March 2024 Omnipaedista talk contribs 9,910 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:0815:08, 29 February 2024 Jarble talk contribs 9,934 bytes +24 adding Template:Non-classical logic undo Tag: Reverted

curprev 13:4413:44, 28 February 2024 Omnipaedista talk contribs 9,910 bytes −23 not linked from the template undo

curprev 18:2618:26, 21 February 2024 Jarble talk contribs 9,933 bytes +23 adding Template:Non-classical logic undo

curprev 06:4806:48, 3 January 2024 Alvinz talk contribs m 9,910 bytes +10 →Sequent Calculus: Fix typo in the conclusion of the sequent calculus E rule undo

curprev 05:3505:35, 1 January 2024 OAbot talk contribs m 9,900 bytes +17 Open access bot: doi updated in citation with #oabot. undo

curprev 04:1604:16, 29 December 2023 Alvinz talk contribs 9,883 bytes +31 Better description for the necessitation rule undo

curprev 07:1307:13, 26 December 2023 Alvinz talk contribs m 7,975 bytes +15 Add bracket to the K axiom to remove associativity ambuigity undo

curprev 17:2517:25, 25 December 2023 Mazewaxie talk contribs m 7,960 bytes −8 added reflist undo Tag: AWB

Retrieved from "https://en.wikipedia.org/wiki/Non-normal_modal_logic"