Added parser for propositional modal logic