girle

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]



 

□ S5 any world, stage 1, your choice

Basic Tree Propositional Rules martin Fri, 10/09/2009 - 00:11
Topic
Logical System






Review of Basic Tree Predicate Rules martin Wed, 10/07/2009 - 11:06
Topic
Logical System

 

∃D. The constant, a, must be new to the branch [here the computer will choose for you]



 

∀D. Any closed term, stage 1, your choice


∀D. Any closed term, stage 2, a chosen

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

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)

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

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.

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

 

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.