A Practical Logic of Cognitive Systems door