Modal logic

Hello Rabbi,
I saw a video on YouTube about two philosophical theses, necessity and possibility (I don’t know if this is a good translation). Possibility is what sounds logical to me, meaning that there are objects whose existence is possible. Necessity means that all objects have a necessary existence, but their realization in reality is possible and not necessary. Starting in the middle of the video, he brings an argument from formal modal logic that necessity is correct. I would love to hear what the rabbi thinks about his argument. The argument is based on the following formula (from Wikipedia), which also mentions this argument.
https://en.m.wikipedia.org/wiki/Barcan_formula

I think the solution is to deny the correctness of the above formula, I would love to hear your opinion.
Best regards,
monument