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 11, 2007)

Basic Syntax and Semantics of Modal Logic (April 23, 2007)

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 (June 6, 2007)

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