Abstrakt
Text obsahuje návrh relevanční epistemické logiky, kde splněnost K(A) v situaci relevančního modelu znamená, že existuje zdroj potvrzující formuli A. Původní třídu modelů rozšiřujeme o třídu obecných epistemických rámců a jsme pro ni schopni ukázat korektní a úplnou axiomatiku.
Současně dokazujeme, že každý z modálních axiomů charakterizuje určitou podtřídu obecných rámců.