the modal logic of necessity and possibility and contingency