رده‌ها paper

A Completeness Theorem in Modal Logic
(1959)

Participants:

گسترش‌ها
Saul Kripke
Saul Kripke
(1940 – present)

جستارهای پیونددار Modallogik

تاربرگ‌های پیموده‌شده در این نشست: A reduction in number of the postulates for C. I. Lewis' system of strict implication ⟩ artificial intelligence ⟩ Set theory ⟩ An Introduction to Non-Classical Logic ⟩ A New Introduction to Modal Logic