Theos and Atheists: A Standard System of Modal Logic

You could challenge the underlying modal logic that applies to this. It's actually somewhat of a standard system that both theos and athes alike are pretty cool with i mean there are theists who don't accept it. The atheist will look at that and say well actually maybe i do think it's possible that god exists but if i do then that entails that god does exist so i'm not really sure here.