K
6/22/12
Reading
Rod Girle [2000] Modal Logics and Philosophy Chapter 3
K has the rules
{Non-modal propositional rules + Modal Negation + ◊R + □R}
These are described in Review of K Rules.
Rod Girle [2000] Modal Logics and Philosophy Chapter 3
K has the rules
{Non-modal propositional rules + Modal Negation + ◊R + □R}
These are described in Review of K Rules.
There are the ordinary (non-modal) tree propositional rules plus
The Modal Negation (MN) rules
Rod Girle [2000] Modal Logics and Philosophy Chapter 3
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.
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 ◊.
10/3/08 10 Software under construction.
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.
10/3/08 10 Software, under construction.
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.