Interpolation for extended modal languages-Reference-Cited by-同舟云学术

Interpolation for extended modal languages

Published:2005-03 Issue:1 Volume:70 Page:223-234
ISSN:0022-4812
Container-title:Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

ten Cate Balder

Abstract

AbstractSeveral 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.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference15 articles.

1. Craig's interpolation theorem for modal logics

2. Modal Logic

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Craig Interpolation for Decidable First-Order Fragments;Lecture Notes in Computer Science;2024

2. Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions;ACM Transactions on Computational Logic;2023-10-10

3. Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29

4. Craig Interpolation of Epistemic Logics with Distributed Knowledge;Lecture Notes in Computer Science;2020

5. Algebraic Semantics for Hybrid Logics;Logic in Asia: Studia Logica Library;2020