A system for natural deduction
The project is based on a common basic framework with plug-ins added to handle different logics. Right now, it can handle classical propositional logic and modal propositional logic with labelled states.
We use the language of propositional calculus and rules and classical rules for the natural deduction.
We extend the language of propositions to modal logic. Then natural deduction is extended with labes.