Logical approaches to ignorance representation