Propositional Modal Logic Using Tableaux Methodology For Theorem Proving.

Individual project on modal logic.

Click here to view the final report.