ردهها Modal Logic Modal System K (1977) 1.□(𝐴⊃𝐵)⊃(□𝐴⊃□𝐵) □(A⊃B)⊃(□A⊃□B) □(A→B)→(□A→□B)Modal Axiom Kaxiom✹ 2.⊢𝜙□𝜙 <div>⊢𝜙</div><div class="den">□𝜙</div> <div>⊢𝜙</div><div class="den">□𝜙</div>Necessitation ruleaxiom✹ گسترشها Modal System D Modal System T