1963a): Semantical analysis of modal logic I: Normal modal propositional calculi (0)

by S A Kripke
Venue:Z. Math. Logik Grundlag. Math