Journal of Symbolic Logic

Interpolation for extended modal languages

Balder ten Cate

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


Several extensions of the basic modal language are characterized in terms of interpolation. Our main results are of the following form: Language ℒ' is the least expressive extension of ℒ with interpolation. For instance, let ℳ(D) be the extension of the basic modal language with a difference operator [7]. First-order logic is the least expressive extension of ℳ(D) with interpolation. These characterizations are subsequently used to derive new results about hybrid logic, relation algebra and the guarded fragment.

Article information

J. Symbolic Logic, Volume 70, Issue 1 (2005), 223-234.

First available in Project Euclid: 1 February 2005

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier


ten Cate, Balder. Interpolation for extended modal languages. J. Symbolic Logic 70 (2005), no. 1, 223--234. doi:10.2178/jsl/1107298517.

Export citation


  • Hajnal Andréka, Johan van Benthem, and István Németi Modal logics and bounded fragments of predicate logic, Journal of Philosophical Logic, vol. 27 (1998), no. 3, pp. 217--274.
  • Carlos Areces, Patrick Blackburn, and Maarten Marx Hybrid logics: Characterization, interpolation and complexity, Journal of Symbolic Logic, vol. 66 (2001), no. 3, pp. 977--1010.
  • Jon Barwise and Solomon Feferman Model-theoretic logics, Springer-Verlag,1985.
  • Patrick Blackburn, Maarten de Rijke, and Yde Venema Modal logic, Cambridge University Press, Cambridge, UK,2001.
  • Willem Conradie Definability and changing perspectives: The Beth property for three extensions of modal logic, Master's thesis, ILLC, University of Amsterdam,2002.
  • William Craig Linear reasoning. a new form of the Herbrand-Gentzen theorem, Journal of Symbolic Logic, vol. 22 (1957), pp. 250--268.
  • Maarten de Rijke The modal logic of inequality, Journal of Symbolic Logic, vol. 57 (1992), no. 2, pp. 566--584.
  • Dov Gabbay Craig's interpolation theorem for modal logics, Conference in mathematical logic --- London '70 (Wilfrid Hodges, editor), Lecture Notes in Mathematics, Springer-Verlag,1972, pp. 111--127.
  • George Gargov and Valentin Goranko Modal logic with names, Journal of Philosophical Logic, vol. 22 (1993), no. 6, pp. 607--636.
  • Erich Grädel On the restraining power of guards, Journal of Symbolic Logic, vol. 64 (1999), no. 4, pp. 1719--1742.
  • Eva Hoogland and Maarten Marx Interpolation and definability in guarded fragments, Studia Logica, vol. 70 (2002), no. 3, pp. 373--409.
  • Maarten Marx Relation algebra with binders, Journal of Logic and Computation, vol. 11 (2001), no. 5, pp. 691--700.
  • Edith Spaan Complexity of modal logics, Ph.D. thesis, ILLC, University of Amsterdam,1993.
  • Balder ten Cate, Maarten Marx, and Petrucio Viana Sahlqvist theory for hybrid logic, Liber Amicorum Dick de Jongh (Anne Troelstra, editor), University of Amsterdam,2004, Available from$\sim$bcate.
  • Yde Venema Relational games, Algebraic logic (Hajnal Andréka, Donald Monk, and István Németi, editors), North-Holland,1991, pp. 695 -- 718.