Modal Logic

Saul Kripke

This page contains the modules of the e-text on modal logic.

1. Informal Introduction to Modal Logic (March 27, 2007)
2. Non-Modal Sentential Logic (August 1, 2013)
3. Basic Syntax and Semantics of Modal Logic (December 7, 2009)
4. Basic Derivation Rules for Modal Logic (July 8, 2010)
5. K and Equivalent Systems (July 8, 2010)
6. Applications of Modal Sentential Logic (July 8, 2010)
7. D and Equivalent Systems (May 2, 2007)
8. T and Equivalent Systems (January 2, 2014)
9. S4 and Equivalent Systems (March 5, 2014)
10. B and Equivalent Systems (May 1, 2007)
11. S5 and Equivalent Systems (December 2, 2010)
12. Other Useful Normal Modal Systems (May 4, 2007)
13. Non-Modal Predicate Logic (May 31, 2007)
14. Free Predicate Logic (January 23, 2014)
15. Introduction to Modal Predicate Logic (February 19, 2014)
16. The Q1R Systems (June 6, 2007)
17. Systems with Nested Domains (February 22, 2014)
18. Systems with a Unitary Domain of Possible Objects (June 6, 2007)

| Last updated: January 4, 2016

Copyright © UC Regents Davis campus, 2013, 2014, 2016. All Rights Reserved.