episteeminen logiikka

Episteeminen logiikka on modaalilogiikan alue, joka käsittelee tietoon liittyvää päättelyä ja käsitteitä, kuten "verifioitu", "mahdollisesti tosi" ja "mahdoton". Vaikka epistemologialla eli tietoteorialla on pitkä antiikin Kreikkaan ulottuva historia, episteeminen logiikka on paljon nuorempi tutkimusala. Ensimmäisen symbolisen ja systemaattisen esityksen aiheesta antoi C. I. Lewis vuonna 1912. Nykyisen muotonsa se sai vuonna 1963 Saul Kripken töiden myötä.