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

לוגיקה מודלית עוזרת לדבר על מה "חייב לקרות" ומה "יכול לקרות". לדוגמה: "יורד גשם" יכול להיות רק משפט רגיל. אם אומרים "בהכרח יורד גשם" זה אומר שזה חייב לקרות. אם אומרים "ייתכן שיורד גשם" זה אומר שזה יכול לקרות. המילים החשובות הן "הכרחי" (משהו שחייב להיות) ו"אפשרי" (משהו שיכול להיות). משתמשים גם בסימו...