# modal

## Review of K Propositional Rules

Topic
Logical System

There are the ordinary (non-modal) tree propositional rules plus

The Modal Negation (MN) rules

## Review of Additional S5 Propositional Rules

Topic
Logical System

#### □ S5 any world, stage 1, your choice

S4 Propositional Rules martin Fri, 10/09/2009 - 00:16
Topic
Logical System

10/7/09

There are the ordinary (non-modal) tree propositional rules plus

The Modal Negation (MN) rules

K Propositional Rules martin Fri, 10/09/2009 - 00:15
Topic
Logical System

There are the ordinary (non-modal) tree propositional rules plus

The Modal Negation (MN) rules

Additional S5 Propositional Rules martin Fri, 10/09/2009 - 00:14
Topic
Logical System

#### ◊ S5 world, k, must be new [here the computer will choose for you]

The Tree Applet for Modal Trees martin Wed, 10/07/2009 - 11:39
Topic

7/27/08 10 Software

### Skills to be acquired in this tutorial:

None really: this is merely to give you a whiff of the topic of trees for modal logic.

Colin Howson, [1997] Logic with trees Chapter 12 Section 2

The Howson [1997] does not expand on modal logic (and modal trees) so a text like

Rod Girle [2000] Modal Logics and Philosophy

would definitely be a help here.

Review of S4 Propositional Rules martin Mon, 06/01/2009 - 01:48
Topic
Logical System

10/7/09

There are the ordinary (non-modal) tree propositional rules plus

The Modal Negation (MN) rules

S4 martin Mon, 06/01/2009 - 01:47
Topic
Logical System
###### 6/23/12

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)

T martin Sun, 05/31/2009 - 20:57
Topic
Logical System

10/7/09 10Software

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.

Review of T Propositional Rules martin Sun, 05/31/2009 - 20:48
Topic
Logical System

There are the ordinary (non-modal) tree propositional rules plus

The Modal Negation (MN) rules