Strong completeness (Γ ⊨ φ → Γ ⊢ φ) fails for infinitary cases in modal logic, so weak completeness ...
This proposition has not been edited since the history system was added.