Readings are from Hughes, and Cresswell. A New Introduction to Modal Logic. Routledge, 1996. ISBN: 9780415125994. [Preview with Google Books]
| SES # | READINGS |
|---|---|
| Basic Propositional Notions | |
| 1 | Propositional Syntax and Semantics, pp. 3–13. |
| Basic Modal Notions | |
| 2 | Modal Syntax & Semantics, pp. 13–21, R. |
| 3 | Our "Base" Modal Logic K, pp. 23–33. |
| System K | |
| 4 | Duality in K, pp. 33–36. |
| 5 | Soundness of K, pp. 36–41. |
| Extensions of K | |
| 6 | Systems T and D (for Deontic), pp. 41–50. |
| 7 | Systems S4, B, and S5, pp. 51–64. |
| Testing for Validity | |
| 8 | Semantic Diagrams, pp. 72–84. |
| 9 | Application to S4 and S5, pp. 85–92. |
| Modal Metalogic | |
| 10 | Completeness and Consistency, pp. 111–9. |
| 11 | Completeness of K, T, B, S4, and S5, pp. 119–21. |
| Glimpses Beyond | |
| 12 | Dynamic Logic. Neighborhood Semantics, and Lewis's Counterfactuals, pp. 220–24, R. |
| 13 | Syntactic Modality and Probabilistic Semantics, pp. 225–8, R. |
| Modal Predicate Logic | |
| 14 | Regular and Modal Predicate Calculus, pp. 235–50. |
| 15 | De Re and De Dicto, pp. 250–54. |
| Modal Predicate Metalogic | |
| 16 | Canonical Models, pp. 256–62. |
| 17 | Completeness and Decidability, pp. 262–5 and 271–2. |
| Shifting Domains | |
| 18 | The Barcan Formula, pp. 274–83. |
| 19 | The Converse Barcan Formula, pp. 289–92. |
| Existence and Identity | |
| 20 | Existence Predicates and Possibilist Quantification, pp. 292–6 and 303–4. |
| 21 | Identity, pp. 312–7. |
| Descriptions and Rigidity | |
| 22 | Descriptions and Scope, pp. 318–26. |
| 23 | Contingent Identity, pp. 330–35, R. |
| Intensional Objects | |
| 24 | Unaxiomatizability of Plenitude, pp. 335–42. |
| 25 | Intensional Objects and the Sense-reference Distinction, pp. 342–6. |
| Special Topics | |
| 26 | First-order Modal Theories and Actuality, pp. 349–53, R. |
| 27 | Counterpart Theory, pp. 353–8, R. |