Before revision: First, Plantinga pointed out that omnipotence is the power to do all things logically possible, and thus God could not be expected to do things that are logically impossible .
After revision: according to modal logicFirst, Plantinga pointed out that omnipotence is the power to do all things logically possible, and thus God could not be expected to do things that are logically impossible .