First steps in modal logic - Popkorn, Sally (Cambridge University, 1994)