Aristotle C. I. Lewis

Ruth Barcan Marcus Saul A. Kripke

Syllabus (PDF)

Paper Topic

Informal Introduction to Modal Logic (March 27, 2007)

Non-Modal Sentential Logic (April 16, 2009)

Basic Syntax and Semantics of Modal Logic (June 11, 2009)

Basic Derivation Rules for Modal Logic (April 24, 2007)

K and Equivalent Systems (April 24, 2007)

Applications of Modal Sentential Logic (April 30, 2007)

D and Equivalent Systems (May 2, 2007)

T and Equivalent Systems (May 2, 2007)

S4 and Equivalent Systems (May 17, 2007)

B and Equivalent Systems (May 1, 2007)

S5 and Equivalent Systems (May 17, 2007)

Other Useful Normal Modal Systems (May 4, 2007)

Non-Modal Predicate Logic (May 31, 2007)

Free Predicate Logic (June 1, 2007)

Introduction to Modal Predicate Logic (May 30, 2008)

The Q1R Systems (June 6, 2007)

Systems with Nested Domains (June 6, 2007)

Systems with a Unitary Domain of Possible Objects (June 6, 2007)

Homework 1, Due April 11

Homework 2, Due April 18

Homework 3, Due April 25

Homework 4, Due May 2

Homework 5, Due May 21

Homework 6, Due May 31

Homework 7, Due June 6

Homework 1, Due April 11

Homework 2, Due April 18

Homework 3, Due April 25

Homework 4, Due May 2

Homework 5, Due May 16

Homework 6, Due May 23

Homework 7, Due June 1

Homework 8, Due June 6

Summary of Rules for all systems

Stanford Encyclopedia of Philosophy entry on Modal Logic

John Halleck's "Logic System Interrelationships"

E-Text (PDF): Modal Predicate Logic (2001 Version)

Class Assignments, 2001

Paper Topic (PDF, 2001)

Additional Exercises Modal Sentential Logic (2001, PDF)

Exercise Solutions (Full set for Modal Sentential Logic I) (2001, PDF)

1998 Assignment Menu

1998 Lecture Notes Menu

Thanks to Greg Stokley for discovering and reporting editorial errors in the modules.