Interpolation for extended modal languages

Journal of Symbolic Logic 70 (1):223-234 (2005)
  Copy   BIBTEX

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 ℳ be the extension of the basic modal language with a difference operator [7]. First-order logic is the least expressive extension of ℳ with interpolation. These characterizations are subsequently used to derive new results about hybrid logic, relation algebra and the guarded fragment

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1107298517

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A new modal lindström theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.
Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.
Repairing the interpolation theorem in quantified modal logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
Omitting types algebraically and more about amalgamation for modal cylindric algebras.Tarek Sayed Ahmed - 2021 - Mathematical Logic Quarterly 67 (3):295-312.
Some Model Theory of Guarded Negation.Vince Bárány, Michael Benedikt & Balder ten Cate - 2018 - Journal of Symbolic Logic 83 (4):1307-1344.
Expressivity of Second Order Propositional Modal Logic.Balder Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.

Analytics

Added to PP
2010-08-24

Downloads
54 (#395,228)

6 months
7 (#673,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Guards, Bounds, and generalized semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Local properties in modal logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2012 - Artificial Intelligence 187-188 (C):133-155.

View all 13 citations / Add more citations

References found in this work

Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.

Add more references