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 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)

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)

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)