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

by S Kripke