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

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