לוגיקה מודלית

שלום הרב,
ראיתי סרטון ביוטיוב על שתי תזות פילוסופיות, הכרחיות ואפשריות (לא יודע אם זה תרגום טוב). אפשריות היא מה שנשמע לי הגיוני, כלומר יש עצמים שקיומם אפשרי. הכרחיות אומרת שכל העצמים קיומם הכרחי אלא שמימושם במציאות הוא אפשרי ולא הכרחי. החל מאמצע הסרטון הוא מביא טיעון של לוגיקה מודלית פורמלית שהכרחיות צודקת. אשמח לשמוע מה דעת הרב על הטיעון שלו. הטיעון מבוסס על הנוסחה הבאה (מויקיפדיה) שגם שם מזכירים את הטיעון הזה. 
https://en.m.wikipedia.org/wiki/Barcan_formula

אני חושב שהפתרון הוא שלילת הנכונות של הנוסחה הנ"ל, אשמח לשמוע את דעתך.
בברכה,
גלעד