رده‌ها paper

A Completeness Theorem in Modal Logic
(1959)

Participants:

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

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

تاربرگ‌های پیموده‌شده در این نشست: quantifier ⟩ automaton ⟩ Strict implication ⟩ Modal Theorem D.1 ⟩ Proof theory ⟩ Modal Axiom Convergent