Repairing the Interpolation Theorem in First-Order Modal Logic

Areces, C., Blackburn, P., and Marx, M.. Repairing the Interpolation Theorem in First-Order Modal Logic. In Proceedings of the 16th Annual IEEE Symp. on Logic in Computer Science, LICS 2001, IEEE Computer Society Press, June 2001. Short Presentation

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:repa01a,
  author = {Areces, C. and Blackburn, P. and Marx, M.},
  title = {Repairing the Interpolation Theorem in First-Order Modal Logic},
  booktitle = {Proceedings of the 16th Annual IEEE Symp.\ on Logic in Computer Science,
	{LICS} 2001},
  year = {2001},
  editor = {J. Halpern},
  month = {June},
  publisher = {IEEE Computer Society Press},
  note = {Short Presentation},
  location = {Boston, MA, USA}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49