Cognitive Reasoning A Formal Approach | EKB DL