Please sign your messages on talk pages with four tildes (~~~~). This will automatically insert your "signature" (your username and a date stamp). The or button, on the tool bar above Wikipedia's text editing window, also does this.
If you would like to play around with your new Wiki skills the Sandbox is for you.
Dezaxa, good luck, and have fun. --
Aboutmovies (
talk) 23:16, 4 July 2012 (UTC)reply
Cube of modal logics
I see you added a diagram of many of the most important modal logics to the
modal logic article. I think such a visual aid is a good thing. Where did you get the diagram? I recognise most of it as the same as the 'cube' of modal logics presented in Hughes and Cresswell, but this diagram adds the provability logic K4W. —
Charles Stewart(talk) 07:58, 21 January 2021 (UTC)reply
I created the diagram from scratch using Visio. It was inspired by a similar diagram in the SEP article on modal logic, but I think mine is better. It has arrows to show the containment relationship; it uses T rather than M for the modal logic that is K+T which I believe is more common; and it includes K4W. I decided to include K4W just because of its importance. In my copy of Hughes and Cresswell there is a much more detailed diagram on p367 in the chapter Axioms, Rules, Systems. I checked that my diagram is consistent with H&C, but I don't believe it is worth reproducing all of theirs because it includes many little-used logics.
Dezaxa (
talk) 10:55, 21 January 2021 (UTC)reply