modal

K martin Sun, 05/31/2009 - 10:02
Topic
Logical System

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.

Normal Modal Logics

Topic
Logical System

1/29/20

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.

S5 Modal Trees

Topic
Logical System
1/29/20

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 ◊.

2. Basic Modal Propositional Logic martin Tue, 10/07/2008 - 14:24
Topic
Logical System

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.