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