Review of K Propositional Rules
Logical System
There are the ordinary (non-modal) tree propositional rules plus
The Modal Negation (MN) rules
girle
Normal Modal Logics
Topic
Logical System
5/17/26
Reading
Rod Girle [2000] Modal Logics and Philosophy Chapter 3
ModalTruth Table Widget [Single Line]
The next step is to relativize necessity and possibility to Access. You can experiment with this...
If you can see this, your browser does not understand IFRAME.
Review of Additional S5 Propositional Rules
Logical System
◊ S5 world, k, must be new [here the computer will choose for you]
S5 Modal Trees
Topic
Logical System
8/17/26
Reading
Rod Girle [2000] Modal Logics and Philosophy Chapter 2
You can make a reasonable start here by thinking about how truth tables might work once there are the modal operators, necessary □ and possible ◊.
3. Normal Modal Propositional Logic
Topic
10/3/08 10 Software under construction.
K Modal Trees
Close the following trees using S5. Then go to the Rule Set Menu and change the rules to K, then try to close the trees a second time.