girle

6/23/12

Reading

Rod Girle [2000] Modal Logics and Philosophy Chapter 3

S4 has the rules

{Non-modal propositional rules + Modal Negation + ◊R + □R+ □T+□□R} 

These are described in Review of S4 Rules.

The extra rule (over T) is the Rule □□R and what it allows you to do it this. Without it (but with the other rules) you could reason from

□F (n)

10/7/09 10Software

Reading

Rod Girle [2000] Modal Logics and Philosophy Chapter 3

T has the rules

{Non-modal propositional rules + Modal Negation + ◊R + □R+ □T}

These are described in Review of T Rules.

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.