Readings

Readings are from Amazon logo 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.