Skip to main content
SpringerLink
Log in

Modal logic and incomplete information

  • Contributed Papers
  • Conference paper
  • First Online:
MFDBS 87 (MFDBS 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 305))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Bossu and Siegel: Saturation, Nonmontonic Reasoning and the Closed-World Assumption, Artificial Intelligence 25 (1985) 13–63

    Google Scholar 

  2. Cholyvy: A modal approach to update semantics problem, Data Semantics 2, IFIP WG 8.2, Albufeira, November 1986

    Google Scholar 

  3. Cialdea: Une methode de deduction automatique en logique modale, these, Universite Paul-Sabatier, Toulouse, September 1986

    Google Scholar 

  4. Farinas del Cerro: Un principe de resolution en logique modale, RAIRO informatique theorieque, 18 (2)

    Google Scholar 

  5. Hughes and Cresswell: An introduction to modal logic, Methuen 1968

    Google Scholar 

  6. Imielinski and Lipski: A systematical approach to relational database theory, ICS PAS Report nr 457, January 1982

    Google Scholar 

  7. Lipski: Logical problems related to incomplete information in databases, Rapport de recherche nr 138, Laboratoire de Recherche en Informatique, Orsay, September 1983

    Google Scholar 

  8. 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. Arthaud, Bieber, Farinas del Cerro, Henry, Herzig: MOLOG, Manuel d'utilisation, LSI, Universite Paul-Sabatier, Toulouse, February 1986

    Google Scholar 

  10. Ostermann: Logiques modales et informations incompletes, These ENSAE, Toulouse, to appear

    Google Scholar 

  11. Segelberg: An essay in classical modal logic, Uppsala 1973

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ONERA - CERT, 2 avenue Edouard Belin, 31055, Toulouse cedex, France

    Pascal Ostermann

Authors
  1. Pascal Ostermann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Biskup J. Demetrovics J. Paredaens B. Thalheim

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ostermann, P. (1988). Modal logic and incomplete information. In: Biskup, J., Demetrovics, J., Paredaens, J., Thalheim, B. (eds) MFDBS 87. MFDBS 1987. Lecture Notes in Computer Science, vol 305. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19121-6_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-19121-6_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19121-6

  • Online ISBN: 978-3-540-39124-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation