Book

A practical logic of cognitive systems

by Dov M. Gabbay, John Woods