Before revision: In the philosophy of religion, modal logics are commonly used to prove the existence of God.
After revision: In the philosophy of religion, modal logics are commonly used in arguments for the existence of God.