top

Relative similarity logics are decidable: reduction to FO$^2$ with equality

S. Demri and B. Konikowska. Relative similarity logics are decidable: reduction to FO$^2$ with equality. In JELIA'98, pp. 279–293, Springer-Verlag, 1998.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{demri98:_relat,
  author = {S. Demri and B. Konikowska},
  title = {Relative similarity logics are decidable: reduction to {FO}$^2$ with
	equality},
  booktitle = {JELIA'98},
  year = {1998},
  editor = {J. Dix and L. Fari{\~{n}}as del Cerro and U. Furbach},
  volume = {1489},
  series = {Lecture Notes in Artificial Intelligence},
  pages = {279--293},
  publisher = {Springer-Verlag},
}

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