It is not the case that If necessitism is correct, the invalidity of BF in KQML's semantics indicates a defect in that semantics' metaphysical adequacy, not a proof of BF's unprovability in all legitimate modal logics.
?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.