Semantical analysis of modal logic (1959)

by S Kripke
Venue:Journal of Symbolic Logic