رده‌ها paper

A Completeness Theorem in Modal Logic
(1959)

Participants:

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

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

تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem 4.2 ⟩ Abstract algebra ⟩ idempotency ⟩ Paul Richard Halmos ⟩ Structural completeness ⟩ What is Logic?