سول کریپکی (1940 – present) برابر انگلیک (انگلیسی): Saul Kripke انبازیها: گسترشها A Completeness Theorem in Modal Logic A Completeness Theorem in Modal Logic 1959 داتار سول کریپکی Naming and Necessity نامگذاری و بایستگی 1972 داتار سول کریپکی Semantical Considerations on Modal Logic Semantical Considerations on Modal Logic 1963 داتار سول کریپکی