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