top

The logic of correct description

J. Seligman. The logic of correct description. In M. de Rijke, editors, Advances in Intensional Logic, Applied Logic Series, pp. 107–135, Kluwer, 1997.

Download: [pdf] 

Abstract:

(unavailable)

Additional Information

Please, realize that there is considerable overlap among the three 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).

BibTeX: (download)

@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:<ul><li> Seligman, J. (1991). A cut-free sequent calculus
	for elementary situated reasoning. Technical Report HCRC-RP 22, HCRC,
	Edinburgh.</li><li> Seligman, J. (1992). Situated consequence for
	elementary situation theory. Logic Group Preprint IULG-92-16, Indiana
	University.</li><li> Seligman, J. (1997). The logic of correct description.
	In M. de Rijke (Ed.), Advances in Intensional Logic, pp. 107-135.
	Applied Logic Series, Kluwer.</li></ul> 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).}
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33