TY  - BOOK
AU  - Gabbay, Dov M
AU  - Woods, John
TI  - A practical logic of cognitive systems
SN  - 9780444513854
U1  - 160 GAB 
PY  - 2003///
CY  - Amsterdam ; Boston
PB  - North Holland
KW  - Logic
ER  -