Modal Logic and Theology

If Alvin Plantinga had used GL(aka KW) or S9 instead of S5 as his base modal logic, would he have had an ontological proof of the death of God instead of the existence of God?