Logical System

10/7/09

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

**The Modal Negation (MN) rules**

Logical System

10/7/09

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

**The Modal Negation (MN) rules**