Modal Logic

Lecture Notes

SES #	TOPICS	HANDOUTS
1	Basic Propositional Notions	Modal Logic—Preliminaries (PDF)
2–3	Basic Modal Notions	Modal Syntax and Semantics (PDF) Basic Modal Systems (PDF)
4–5	System K	Adequacy and Extensions (PDF)
6–7	Extensions of K	Stronger Systems (PDF)
8–9	Testing for Validity	Testing: Decidable & Undecidable Systems (PDF)
10–11	Modal Metalogic	Modal Metalogic: Completeness (PDF)
12–13	Glimpses Beyond	Counterfactuals, Neighborhood Semantics, Probability, Predicative Necessity, etc. (PDF)
14–15	Modal Predicate Logic	Modal Predicate Logic (PDF)
16–17	Modal Predicate Metalogic	Modal Predicate Metalogic (PDF)
18–19	Shifting Domains	Shifting Domains (PDF)
20–21	Existence and Identity	Existence and Identity (PDF)
22–23	Descriptions and Rigidity	Identity and Descriptions (PDF) Contingent Identity (PDF)
24–25	Intensional Objects	Intensional Objects (PDF)
26–27	Special Topics	Sets, Actuality, Counterparts (PDF)