Modal logic and incomplete information

  • Pascal Ostermann
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 305)


Our purpose is to use modal logic for incomplete information processing.

So we study some systems - K1 and IDB -, more adapted to our task than S4, but with a very strong use of CWA.

Then we propose a more flexible approach: the "multiverse" approach, which gives, to our opinion, a good formalism for incomplete information.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BS]
    Bossu and Siegel: Saturation, Nonmontonic Reasoning and the Closed-World Assumption, Artificial Intelligence 25 (1985) 13–63Google Scholar
  2. [Ch]
    Cholyvy: A modal approach to update semantics problem, Data Semantics 2, IFIP WG 8.2, Albufeira, November 1986Google Scholar
  3. [Ci]
    Cialdea: Une methode de deduction automatique en logique modale, these, Universite Paul-Sabatier, Toulouse, September 1986Google Scholar
  4. [Fa]
    Farinas del Cerro: Un principe de resolution en logique modale, RAIRO informatique theorieque, 18 (2)Google Scholar
  5. [HC]
    Hughes and Cresswell: An introduction to modal logic, Methuen 1968Google Scholar
  6. [Il]
    Imielinski and Lipski: A systematical approach to relational database theory, ICS PAS Report nr 457, January 1982Google Scholar
  7. [Li]
    Lipski: Logical problems related to incomplete information in databases, Rapport de recherche nr 138, Laboratoire de Recherche en Informatique, Orsay, September 1983Google Scholar
  8. [Lu]
    Lukasiewicz: La syllogistique d'Aristote, Armand Colin 1972 (Aristotle's syllogistic, from the standpoint of modern formal logic, Oxford University Press, 1951)Google Scholar
  9. [MO]
    Arthaud, Bieber, Farinas del Cerro, Henry, Herzig: MOLOG, Manuel d'utilisation, LSI, Universite Paul-Sabatier, Toulouse, February 1986Google Scholar
  10. [Os]
    Ostermann: Logiques modales et informations incompletes, These ENSAE, Toulouse, to appearGoogle Scholar
  11. [Se]
    Segelberg: An essay in classical modal logic, Uppsala 1973Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Pascal Ostermann
    • 1
  1. 1.ONERA - CERTToulouse cedexFrance

Personalised recommendations