Translator Disclaimer
March 2005 Interpolation for extended modal languages
Balder ten Cate
J. Symbolic Logic 70(1): 223-234 (March 2005). DOI: 10.2178/jsl/1107298517

Abstract

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.

Citation

Download Citation

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

Information

Published: March 2005
First available in Project Euclid: 1 February 2005

zbMATH: 1089.03014
MathSciNet: MR2119130
Digital Object Identifier: 10.2178/jsl/1107298517

Rights: Copyright © 2005 Association for Symbolic Logic

JOURNAL ARTICLE
12 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.70 • No. 1 • March 2005
Back to Top