Add new approach to propositional logic.
Merge branch 'basic_modal_logic' of github.com:winobes/modal-logic into basic_modal_logic