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

'''לוגיקה מודָלית''' (מהמלה ה[[לטינית]] modus - מצב, אופן, דרך) היא הרחבה של ה[[לוגיקה]] הקלאסית, המספקת את ה[[פורמליזם (מתמטיקה)|פורמליזם]] לייצוג ביטויים לשוניים הכוללים ניואנסים של הכרח ואפשרות. ניואנסים אלו, כגון 'הכרחי ש-' ו'אפשרי ש-', מיוצגים על ידי האופרטוריםה[[אופרטור]]ים <math>\Box</math> ו- <math>\Diamond</math> בהתאמה. כך, למשל, אם ה[[פסוק (לוגיקה)|פסוק]] <math>p</math> ייצג את הטענה 'יורד גשם בחוץ', הרי שהטענה 'בהכרח יורד גשם בחוץ' תוצרן כ- '''<math>\Box p</math>''' ואילו הטענה 'ייתכן שיורד גשם בחוץ' תוצרן כ- '''<math>\Diamond p</math>'''.