\(\in_K\): a non-Fregean logic of explicit knowledge
scientific article; zbMATH DE number 5872589