Semantical analysis of modal logic II. The theory of models (eds (1965)

by S Kripke