caa a22 4500 465779506 CHVBK 20180323111951.0 cr unu---uuuuu 170327e19900601xx s 000 0 eng 10.1007/BF00935602 doi (NATIONALLICENCE)springer-10.1007/BF00935602 Orłowska Ewa Polish Academy of Sciences, P. O. Box 22, 00-901, Warsaw, Poland aut Kripke semantics for knowledge representation logics [Elektronische Daten] [Ewa Orłowska] This article provides an overview of development of Kripke semantics for logics determined by information systems. The proposals are made to extend the standard Kripke structures to the structures based on information systems. The underlying logics are defined and problems of their axiomatization are discussed. Several open problems connected with the logics are formulated. Logical aspects of incompleteness of information provided by information systems are considered. Polish Academy of Sciences, 1990 Studia Logica Kluwer Academic Publishers 49/2(1990-06-01), 255-272 0039-3215 49:2<255 1990 49 11225 https://doi.org/10.1007/BF00935602 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00935602 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Orłowska Ewa Polish Academy of Sciences, P. O. Box 22, 00-901, Warsaw, Poland aut NATIONALLICENCE 773 0- Studia Logica Kluwer Academic Publishers 49/2(1990-06-01), 255-272 0039-3215 49:2<255 1990 49 11225 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer