top

Repairing the Interpolation Theorem in First-Order Modal Logic

C. Areces, P. Blackburn, and M. Marx. 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:

Hybrid logics are extensions of orthodox modal logics in which it is possible to name and bind worlds. We investigate hybridization of first-order modal logics and show that as far as interpolation is concerned, hybridization improves the behavior of the underlying modal logic, allowing us to repair failures of interpolation in a very general way. As a corollary of a general interpolation theorem for first-order hybrid logics, we prove that hybridization help us repair all counterexamples to interpolation discussed by Fine in [1]. In particular, first-order hybrid K, T, S4 and S5 all enjoy interpolation, no matter what domain condition we impose. [1] Fine, K.. Failures of the interpolation lemma in quantified modal logic. Journal of Symbolic Logic, 44(2):201--206, 1979.

BibTeX: (download)

@INPROCEEDINGS{areces01:_repair_inter_theor_first_order,
  author = {C. Areces and P. Blackburn and M. Marx},
  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},
  abstract = {
	Hybrid logics are extensions of orthodox modal logics in which it
	is possible to name and bind worlds. We investigate hybridization
	of first-order modal logics and show that as far as interpolation
	is concerned, hybridization improves the behavior of the underlying
	modal logic, allowing us to repair failures of interpolation in a
	very general way.
	As a corollary of a general interpolation theorem for first-order
	hybrid logics, we prove that hybridization help us repair all counterexamples
	to interpolation discussed by Fine in [1]. In particular, first-order
	hybrid K, T, S4 and S5 all enjoy interpolation, no matter what domain
	condition we impose.
	[1] Fine, K.. Failures of the interpolation lemma in quantified modal
	logic. Journal of Symbolic Logic, 44(2):201--206, 1979. },
  location = {Boston, MA, USA}
}

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