It is not the case that Kripke's completeness proofs for modal logic apply Nec to open formulas by treating free variables as implicitly universally bound, preserving soundness.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.