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.
Preview
Unable to display preview. Download preview PDF.
Bibliography
Bossu and Siegel: Saturation, Nonmontonic Reasoning and the Closed-World Assumption, Artificial Intelligence 25 (1985) 13–63
Cholyvy: A modal approach to update semantics problem, Data Semantics 2, IFIP WG 8.2, Albufeira, November 1986
Cialdea: Une methode de deduction automatique en logique modale, these, Universite Paul-Sabatier, Toulouse, September 1986
Farinas del Cerro: Un principe de resolution en logique modale, RAIRO informatique theorieque, 18 (2)
Hughes and Cresswell: An introduction to modal logic, Methuen 1968
Imielinski and Lipski: A systematical approach to relational database theory, ICS PAS Report nr 457, January 1982
Lipski: Logical problems related to incomplete information in databases, Rapport de recherche nr 138, Laboratoire de Recherche en Informatique, Orsay, September 1983
Lukasiewicz: La syllogistique d'Aristote, Armand Colin 1972 (Aristotle's syllogistic, from the standpoint of modern formal logic, Oxford University Press, 1951)
Arthaud, Bieber, Farinas del Cerro, Henry, Herzig: MOLOG, Manuel d'utilisation, LSI, Universite Paul-Sabatier, Toulouse, February 1986
Ostermann: Logiques modales et informations incompletes, These ENSAE, Toulouse, to appear
Segelberg: An essay in classical modal logic, Uppsala 1973
Author information
Authors and Affiliations
Editor information
Rights 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