The Stanford Encyclopedia Entry on Modal Logic

Here is the Stanford Encyclopedia entry on Modal Logic. There is no mention that I can see that it is even used in theology or philosophy of religion.