Wittgenstein on Rules and Private Language: An Elementary Exposition
Saul A. Kripke
A Completeness Theorem in Modal Logic