Saul Kripke (1940 – present) Participations: گسترشها A Completeness Theorem in Modal Logic A Completeness Theorem in Modal Logic 1959 author Saul Kripke Naming and Necessity Naming and Necessity 1972 author Saul Kripke Semantical Considerations on Modal Logic Semantical Considerations on Modal Logic 1963 author Saul Kripke