User talk:Dezaxa

Welcome

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