Haven’t read Plantinga and not going to, but ‘possibly necessarily P’ does not imply ‘necessarily P’ in all modal logics.
Haven’t read Plantinga and not going to, but ‘possibly necessarily P’ does not imply ‘necessarily P’ in all modal logics.