A Practical Logic of Cognitive Systems door John Woods, John Hayden Woods & Professor Dov M. Gabbay