Modal Logic and Incomplete Information.

@inproceedings{DBLP:conf/mfdbs/Ostermann87,
  author    = {Pascal Ostermann},
  editor    = {Joachim Biskup and
               J{\'a}nos Demetrovics and
               Jan Paredaens and
               Bernhard Thalheim},
  title     = {Modal Logic and Incomplete Information},
  booktitle = {MFDBS 87, 1st Symposium on Mathematical Fundamentals of Database
               Systems, Dresden, GDR, January 19-23, 1987, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {305},
  year      = {1987},
  isbn      = {3-540-19121-6},
  pages     = {181-196},
  ee        = {db/conf/mfdbs/Ostermann87.html},
  crossref  = {DBLP:conf/mfdbs/87},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[BS]

Genevieve Bossu, Pierre Siegel: Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. Artif. Intell. 25(1): 13-63(1985) BibTeX

[Ch]

Laurence Cholvy: A Modal Approach to Update Semantics Problem. DS-2 1986: 89-98 BibTeX

[Ci]

...

[Fa]

...

[HC]

...

[Il]

Tomasz Imielinski, Witold Lipski Jr.: A Systematic Approach to Relational Database Theory. SIGMOD Conference 1982: 8-14 BibTeX

[Li]

...

[Lu]

...

[MO]

...

[Os]

...

[Se]

...