The modal logic is definitely classical first-order predicate logic.
a Schelling point for those who seek one
