User talk:Dezaxa

Welcome
 Hello Dezaxa, and Welcome to Wikipedia!  Welcome to Wikipedia! I hope you enjoy the encyclopedia and want to stay. As a first step, you may wish to read the Introduction.

If you have any questions, feel free to ask me at my talk page — I'm happy to help. Or, you can ask your question at the New contributors' help page.

--- Here are some more resources to help you as you explore and contribute to the world's largest encyclopedia...

Finding your way around:


 * Table of contents


 * Department directory

Need help?


 * Questions — a guide on where to ask questions.
 * Cheatsheet — quick reference on Wikipedia's mark-up codes.
 * Wikipedia's 5 pillars — an overview of Wikipedia's foundations


 * Article wizard — a Wizard to help you create articles
 * The simplified ruleset — a summary of Wikipedia's most important rules.
 * Guide to Wikipedia — A thorough step-by-step guide to Wikipedia.

How you can help:


 * Contributing to Wikipedia — a guide on how you can help.


 * Community portal — Wikipedia's hub of activity.

Additional tips...


 * Please sign your messages on talk pages with four tildes ( ~ ). This will automatically insert your "signature" (your username and a date stamp). The [[File:Button sig.png]] or [[File:Insert-signature.png]] 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)

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. &mdash; Charles Stewart (talk) 07:58, 21 January 2021 (UTC)
 * 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)