Modal Logic

Aristotle

Homework assignments from past courses.

• Modules 1 and 2: Non-modal sentential logic
• 2007
• 2005
• Modules 3 and 4: Basic modal logic
• 2007a
• 2007b
• 2005a
• 2005b
• Module 5: The K systems
• 2007
• 2005
• Modules 7-10: The D, T, S4 and B systems
• 2005
• Modules 11 and 12: The S5 systems and other related systems
• 2007
• 2005a
• 2005b
• Modules 13 and 14: Classical and free predicate logic
• 2007
• Module 16: the Q1R systems
• 2007
• Module 18: Systems with a unitary domain
• 2005
• Systems K through S5
• 2001
• General
• Exercises with solutions, 2001