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