Symbolic Logic, Vol 24, 1959, pp 1-14. Kr 63 S. Kripke. Semantical analysis of modal logic I, normal propositional calculi (0)

by J of