Practical Logic of Cognitive Systems