Semantical analysis of modal logic I, normal propositional calculi (1963)

by S Kripke
Venue:Z. Math. Logik Grundlagen Math. 9