Reading List

• Goldblatt, Mathematical Modal Logic: A View of its Evolution. Through section 3.1, Section 4.1 and 7.3. Our emphasis is on Kripke structures and Pneuli's temporal logic.
• Blackburn et al, Modal Logic, Preface and Chapters 1-2.
• http://plato.stanford.edu/entries/logic-modal
• http://cs.wwc.edu/~aabyan/Logic/Modal.html
• http://www.wordiq.com (search for modal logic or logic)