رده‌ها paper

Semantical Considerations on Modal Logic
(1963)

Participants:

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

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

تاربرگ‌های پیموده‌شده در این نشست: axiomatization ⟩ Continuum hypothesis ⟩ term ⟩ truth functional ⟩ George Boole ⟩ A reduction in number of the postulates for C. I. Lewis' system of strict implication