Necessary Being and Modal Logic