The article introduces critically selected attempts at formulating a modal ontological proof of the Divine existence in the second half of the twentieth century within anglo-saxon analytical philosophy.
