Studia Logica

, Volume 49, Issue 2, pp 255–272

Kripke semantics for knowledge representation logics

  • Ewa Orłowska

DOI: 10.1007/BF00935602

Cite this article as:
Orłowska, E. Stud Logica (1990) 49: 255. doi:10.1007/BF00935602


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.

Copyright information

© Polish Academy of Sciences 1990

Authors and Affiliations

  • Ewa Orłowska
    • 1
  1. 1.Polish Academy of SciencesWarsawPoland