Well it appears modal logic is the latest thing that apologists have seized upon as a mechanism of pseudo-scientific “proof” as this is the third theist in as many months to make the attempt.
This is an attempt to portray a formalized self-justifying closed system as if it provides anything that would convince a rational skeptic.
Modal logic is, essentially, used for modeling. Models are only as good as the axioms or assumptions / premises on which they are based. And a model can be mathematically elegant and “‘correct” and still have no ties at all to physical reality, and therefore nothing at all to say about physical reality.
This particular attempt has a number of faulty inputs and assumptions, such as that numerology is a valid system for discovering relationships, or that “divine design” is falsifiable. It also doesn’t control for motivated reasoning about the meaning of patterns. Nature is full of patterns. So what.