Many-valuedness and uncertainty

A generalisation of modal information logics to many-valued modal logics is presented. Information logics are the formalisms for reasoning about uncertain knowledge discovered from incomplete information. In these logics an analysis of information that has the form of descriptions of objects in terms of their properties can be carried on and relationships among objects based on their common properties (referred to as information relations) can be represented and discussed. In the proposed many-valued information logics both properties of objects and relationships among the objects are assumed to be many-valued. A relationship between the calculus of information relations and Aristotelian syllogistic is outlined.