The nature of necessity - Plantinga, Alvin (Clarendon library of logic and philosophy, 1974)