Semantical analysis of modal logic I, Normal modal propositional calculi, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9 (1963)

by S A Kripke