Gary Hardegree (homepage)

Philosophy 511 - Modal Logic

(homepage) UMass Amherst

General Info

On-Line TextBook

Gary Hardegree, Introduction to Modal Logic

Chap 1: Basic Concepts

Chap 2: Classical SL

Chap 3: Absolute Modal Logic - System L

Chap 4: Relative Modal Logic - System K

Chap 5: Systems Between K and L

Chap 6: Modal Predicate Logic

Chap 7: General First-Order Logic

Chap 8: First-Order Modal Logic

Chap 9: First-Order Modal Logic with Actuality

Chap 10: Two-Dimensional Modal Logic

Chap 11: Second-Order Modal Logic

Appendix 1: Syntax of Modal Logic

Appendix 2: Rules of Derivation

Appendix 3: Categorial Grammar

Appendix 4: Multi-Modal Systems

These require Adobe Acrobat Reader. To download, click here.