Reasoning About Knowledge

  • Stéphane P. Demri
  • Ewa S. Orłowska
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)


The logics presented in this chapter provide a means of representing imperfect knowledge of agents and reasoning with such a knowledge. The modal propositional connectives in these logics are the abstract counterparts of knowledge operators derived from information systems (Sect. 4.6). The underlying knowledge is determined up to indiscernibility relations associated with agents. Consequently, their knowledge depends on a degree of certainty with which they perceive objects from a given domain.


Equivalence Relation Induction Hypothesis Modal Logic Proof System Deductive System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Stéphane P. Demri
    • 1
    • 2
  • Ewa S. Orłowska
    • 3
  1. 1.Laboratoire Spécification et VérificationCNRS UMR 8643, ENS de CachanCachan CedexFrance
  2. 2.Laboratoire LeibnizGrenobleFrance
  3. 3.National Institute of TelecommunicationsWarszawaPoland

Personalised recommendations