A practical logic of cognitive systems | lit.salon