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.