Interpolation for extended modal languages
ten Cate, Balder
J. Symbolic Logic, Tome 70 (2005) no. 1, p. 223-234 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2005-03-14
Classification:  
@article{1107298517,
     author = {ten Cate, Balder},
     title = {Interpolation for extended modal languages},
     journal = {J. Symbolic Logic},
     volume = {70},
     number = {1},
     year = {2005},
     pages = { 223-234},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1107298517}
}

ten Cate, Balder. Interpolation for extended modal languages. J. Symbolic Logic, Tome 70 (2005) no. 1, pp.  223-234. http://gdmltest.u-ga.fr/item/1107298517/