ردهها paper A Completeness Theorem in Modal Logic (1959) Participants: گسترشها Saul Kripke (1940 – present) جستارهای پیونددار Modallogik