Logical System

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

**The Modal Negation (MN) rules**

Logical System

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

**The Modal Negation (MN) rules**