A semantical analysis of modal logic I: normal propositional calculi, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (1963)

by S Kripke