לוגיקה מודלית – הבדלי גרסאות

[[סמנטיקה]] מקובלת ללוגיקה מודלית כוללת "מסגרת", או קבוצה של [[עולמות אפשריים]], ויחס בינרי של "נגישות" בין עולמות אלו. סמנטיקה של עולמות אפשריים מפרשת את הטענה על מה שאפשרי כטענה על מצב עניינים ב"עולם" מסויים, את הטענה על מה שהכרחי כטענה על מצב העניינים "בכל העולמות האפשריים", ואת הטענה על הבלתי אפשרי כטענה על מה שאינו מצב העניינים "באף עולם אפשרי". פרשנויות מסוימות של "עולמות אפשריים", כמו זו של [[דייוויד לואיס (פילוסוף)|דייוויד לואיס]], הן ראליסטיות, והן מניחות את קיומם הממשי של עולמות מרובים, השונים מהעולם שלנו, '''האקטואלי''', במידה זו או אחרת, אך כולם בעלי היתכנות לוגית.