removing modal logic from brnach master
remove propositional-logic from branch master
Merge branch 'master' of https://github.com/OpenLogicProject/OpenLogic