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)