Repairing the interpolation theorem in quantified modal logic

Carlos Areces, Patrick Blackburn, Maarten Marx. Repairing the interpolation theorem in quantified modal logic. Annals of Pure and Applied Logic, 124(1-3):287-299, 2003. [doi]

@article{ArecesBM03,
  title = {Repairing the interpolation theorem in quantified modal logic},
  author = {Carlos Areces and Patrick Blackburn and Maarten Marx},
  year = {2003},
  doi = {10.1016/S0168-0072(03)00059-9},
  url = {http://dx.doi.org/10.1016/S0168-0072(03)00059-9},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/ArecesBM03},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {124},
  number = {1-3},
  pages = {287-299},
}