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 en l'any 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 en 1963 a partir del treball de Saul Kripke.