User talk:Dezaxa
Welcome
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/98/New-Bouncywikilogo.gif/50px-New-Bouncywikilogo.gif)
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:
Need help?
|
|
How you can help:
|
|
Additional tips...
|
Cube of modal logics
[edit]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)