Logic of nondeterministic information

In the paper we define a class of languages for representation o knowledge in those application areas when a complete information about a domain is not available. In the languages we introduce modal operators determined by accessibility relations depending on parameters.

[1]  Zdzisław Pawlak,et al.  Logical foundations of knowledge representation , 1984 .

[2]  Witold Lipski,et al.  On the Logic of Incomplete Transformation , 1977, International Symposium on Mathematical Foundations of Computer Science.

[3]  Ewa Orlowska,et al.  Representation of Nondeterministic Information , 1984, Theor. Comput. Sci..