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 Proceedinds of BNAIC 2001, pp. 31–32, Amsterdam, The Netherlands, October 2001.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:repa01b,
  author = {Areces, C. and Blackburn, P. and Marx, M.},
  title = {Repairing the Interpolation Theorem in First-Order Modal Logic},
  booktitle = {Proceedinds of BNAIC 2001},
  year = {2001},
  pages = {31--32},
  address = {Amsterdam, The Netherlands},
  month = {October},
}

Generated by bib2html.pl (written by Patrick Riley) on Mon Dec 04, 2017 20:59:00