Llògica epistémica
La llògica epistèmica és un camp de la llògica modal que s'ocupa del raonament sobre el coneiximent. Mentres que l'epistemologia té una llarga tradició filosòfica que s'origina en la Grècia Antiga, la llògica epistèmica és un desenroll molt més recent en aplicacions en numerosos camps, com ara filosofia, ciència computacional teòrica, inteligència artificial, economia i llingüística. Mentres que els filòsofs a partir de Aristòteles han discutit la llògica modal, i els filòsofs medievals com Guillem d'Occam i Duns Escot van desenrollar numeroses observacions, va ser Clarence Irving Lewis qui el 1912 va realisar el primer tractament simbòlic i sistemàtic d'este tema. El tema va continuar madurant, arribant a la seua forma moderna a 1963 a partir del treball de Saul Kripke.