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