رده‌ها paper

A Completeness Theorem in Modal Logic
(1959)

Participants:

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

جستارهای پیونددار Modal Logic

تاربرگ‌های پیموده‌شده در این نشست: A New Introduction to Modal Logic ⟩ notion of existence ⟩ ∨ Introduction ⟩ IL.H.08 ⟩ IL.H.09 ⟩ Modal System S4