رده‌ها گویایی شونی

Modal System T

برابر انگلیک (انگلیسی): Modal System T

1.□(𝐴⊃𝐵)⊃(□𝐴⊃□𝐵) □(A⊃B)⊃(□A⊃□B) □(A→B)→(□A→□B)بنداشت Kaxiom▲ Modal System K
2.
⊢𝜙
□𝜙
<div>⊢𝜙</div><div class="den">□𝜙</div> <div>⊢𝜙</div><div class="den">□𝜙</div>دستور بایستگیaxiom▲ Modal System K
گسترش‌ها Modal System S4