Semantics and necessary truth - Pap, Arthur0 (1958)