priest

3. Normal Modal Propositional Logic martin Sun, 10/12/2008 - 21:32
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.

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.