The ontological argument has been reintroduced into the area of analytical metaphysics in 20th century due to the development of modal logic and possible worlds semantics. However, there are few attempts to approach this argument with two-dimensional possible worlds framework. The present paper...