What is the proper logic of philosophical theology? Certainly not S5, contrary to common usage. https://philpapers.org/rec/ALMNTA-6

Is logic the right tool? Many of the arguments for God's existence use probability or decision theory.