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