@INCOLLECTION{seligman97,
author = {J. Seligman},
title = {The logic of correct description},
booktitle = {Advances in Intensional Logic},
publisher = {Kluwer},
year = {1997},
editor = {M. de Rijke},
series = {Applied Logic Series},
pages = {107--135},
papers:- Seligman, J. (1991). A cut-free sequent calculus
for elementary situated reasoning. Technical Report HCRC-RP 22, HCRC,
Edinburgh.
- Seligman, J. (1992). Situated consequence for
elementary situation theory. Logic Group Preprint IULG-92-16, Indiana
University.
- Seligman, J. (1997). The logic of correct description.
In M. de Rijke (Ed.), Advances in Intensional Logic, pp. 107-135.
Applied Logic Series, Kluwer.

and that *all* of them contain
technical errors, which are not documented but which are corrected
in the sequel,(the sequel to the 1997 paper is yet unpublished).}
}