epistemická logika
epistemická logika, teorie charakterizující axiomaticky nebo pomocí pravidel tzv. epistemické pojmy, tj. pojmy vztahující se k aktům nebo stavům poznání (vědět, věřit, uznat, připouštět, rozumět). Příkladem sémantického pojetí v termínech teorie modelů je práce J. Hintikky Knowledge and Belief (Vědění a víra).