top

Situated consequence in elementary situation theory

J. Seligman. Situated consequence in elementary situation theory. Technical Report IULG-92-16, Indiana University, 1992.

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)

@TECHREPORT{seligman92:_situat,
  author = {J. Seligman},
  title = {Situated consequence in elementary situation theory},
  institution = {Indiana University},
  year = {1992},
  number = {IULG-92-16},
	papers:</p><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><p>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).</p>},
  series = {Logic Group Preprint}
}

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