A Practical Logic of Cognitive Systems by