In this article I present some modal-epistemic arguments for the existence of God, based on the possibility of omniscience. For this, I provide modal formal systems that allow obtaining the existence of God as a theorem. Moreover, based on what I assume as reasonable premises, they show that the strong agnostic position is contradictory, since it allows the conclusion both that God exists and that God does not exist.