Interpolation for extended modal languages
Interpolation for extended modal languages
复制标题
扩展模态语言的插值
DOI：
10.2178/jsl/1107298517
复制
发表时间：
2005
影响因子：
0.6
通讯作者：
B. T. Cate
中科院分区：
文献类型：
--
作者：
B. T. Cate
摘要用插值法刻画了基本模态语言的几种扩展。我们的主要结果具有以下形式：语言L′是L的最少表达的插值扩张。例如，设（D）是基本模态语言的带差分算子的扩展[7]，一阶逻辑是（D）的带插值的最少表达扩展。这些刻画随后被用来导出关于混合逻辑、关系代数和守护片段的新结果。
Abstract Several extensions of the basic modal language are characterized in terms of interpolation. Our main results are of the following form: Language L′ is the least expressive extension of L 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.