Class notes



2009.02.02

2009.02.06

2009.02.09

2009.02.11

2009.02.18

2009.02.20

2009.02.23

2009.02.25

2009.02.27

2009.03.02

2009.03.11

2009.03.13

2009.03.16

2009.03.20

2009.03.23

2009.03.27

2009.03.30

2009.04.01

2009.04.03

2009.04.13

2009.04.15

2009.04.17

2009.04.20

2009.04.24

2009.04.27

2009.05.06
A minor point. The diagram on the upper right corner shows the accessibility relation as symmetric, but says the relation must be reflexive. Kripke argued a model for A17 will have both a reflexive and symmetric accessibility relation.

2009.05.05 Some Proofs

Some axioms (as a Word doc)

Some notes on Possible World Semantics, Time, and Deontic Logic (as a Word doc)