Logical Structures for Representation of Knowledge and Uncertainty