לוגיקה מודלית עוזרת לדבר על מה "חייב לקרות" ומה "יכול לקרות". לדוגמה: "יורד גשם" יכול להיות רק משפט רגיל. אם אומרים "בהכרח יורד גשם" זה אומר שזה חייב לקרות. אם אומרים "ייתכן שיורד גשם" זה אומר שזה יכול לקרות.
המילים החשובות הן "הכרחי" (משהו שחייב להיות) ו"אפשרי" (משהו שיכול להיות). משתמשים גם בסימונים כמו \Box להכרחי ו־\Diamond לאפשרי.
חושבים על "עולמות אפשריים", דרכים שונות שבהן הדברים יכולים להתנהל. אם משהו נכון בכל העולמות האלה הוא הכרחי. אם משהו נכון בלפחות עולם אחד הוא אפשרי.
לא כל עולם רלוונטי לכל עולם. יחס הנגישות קובע אילו עולמות קשורים זה לזה. יש מערכות שונות שמגדירות את הקשר הזה בדרכים שונות. למשל, ב־S5 כולם מחוברים לכולם.
הרעיון החל בתחילת המאה העשרים. באמצע המאה רות ברקן מרקוס תרמה למחקר. בשנת 1959 סול קריפקי נתן את הדרך המקובלת להבין את הרעיונות.
המילים החשובות הן "הכרחי" (משהו שחייב להיות) ו"אפשרי" (משהו שיכול להיות). משתמשים גם בסימונים כמו \Box להכרחי ו־\Diamond לאפשרי.
חושבים על "עולמות אפשריים", דרכים שונות שבהן הדברים יכולים להתנהל. אם משהו נכון בכל העולמות האלה הוא הכרחי. אם משהו נכון בלפחות עולם אחד הוא אפשרי.
לא כל עולם רלוונטי לכל עולם. יחס הנגישות קובע אילו עולמות קשורים זה לזה. יש מערכות שונות שמגדירות את הקשר הזה בדרכים שונות. למשל, ב־S5 כולם מחוברים לכולם.
הרעיון החל בתחילת המאה העשרים. באמצע המאה רות ברקן מרקוס תרמה למחקר. בשנת 1959 סול קריפקי נתן את הדרך המקובלת להבין את הרעיונות.