Systems for knowledge and beliefs

  • Wiebe van der Hoek
Selected Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 478)


We investigate a system for knowledge and belief, as introduced in Kraus and Lehmann's [KL]. In [KL] it is observed, that adding the axiom Biφ → BiKiφ to the system gives a collapse of knowledge and belief: (Kiφ ↔ Biφ). We investigate the cause(s) of this problem and suggest a ‘similar’ system that does allow the same axiom without the mentioned collapse. We consider as the main benefit of this paper, however, the techniques that are developed to come to this solution. It appears that applying basic correspondence theory to a multi-modal system allows a systematic examination of possible combinations of epistemic operators.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BC]
    M. Fattorosi-Barnaba & F. de Caro, Graded Modalities I, in: Studia Logica, 2 (1985), 197–221.Google Scholar
  2. [Be]
    J.F.A.K. van Benthem, Correspondence Theory, in: Handbook of Philosophical Logic, D. Gabbay & F. Guenthner (eds), vol. 2, Reidel, Dordrecht (1984), 167–247.Google Scholar
  3. [Ch]
    B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, Cambridge/London (1980)Google Scholar
  4. [FH]
    R.F. Fagin & J.Y. Halpern, Belief, Awareness, and Limited Reasoning, in: Artificial Intelligence, 34 (1988) 39–76.Google Scholar
  5. [HC]
    G.E. Hughes & M.J. Cresswell, An Introduction to Modal Logic, Methuen & Co. Ltd, London (1977).Google Scholar
  6. [HK]
    Z. Huang & K. Kwast, Awareness, Negation and Logical Omniscience, in Proceedings of JELIA'90, Amsterdam, (1990).Google Scholar
  7. [HM]
    J. Y. Halpern and Y. O. Moses, A Guide to the Modal Logics of Knowledge and Belief, in: Proceedings IJCAI-85, Los Angeles, CA (1985) 480–490Google Scholar
  8. HoM]
    W. van der Hoek & J.-J. Ch. Meyer, Possible Logics for Belief, Report IR-170, Free University Amsterdam (1988).Google Scholar
  9. [Ho1]
    W. van der Hoek, Systems for Knowledge and Beliefs, Report IR-165, Free University Amsterdam (1989)Google Scholar
  10. [Ho2]
    W. van der Hoek, Numerieke Modale Logika, paper University of Groningen (1986).Google Scholar
  11. [KL]
    S. Kraus & D. Lehmann, Knowledge, Belief and Time, in: Lecture Notes in Computer Science, L. Kott (ed), 226, ICALP (1986).Google Scholar
  12. [Le]
    H.J. Levesque, A Logic of Implicit and Explicit Belief, in: Proceedings AAAI-84, Austin, TX (1984), 198–202.Google Scholar
  13. [Vo]
    F. Voorbraak, The logic of objective knowledge and rational belief, in Proceedings of JELIA'90, Amsterdam (1990).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Wiebe van der Hoek
    • 1
  1. 1.Department of Mathematics and Computer ScienceFree University AmsterdamAmsterdamThe Netherlands

Personalised recommendations