Interpolation for Extended Modal Languages
Journal of Symbolic Logic 70 (1):223 - 234 (2005)
| 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 M(D) be the extension of the basic modal language with a difference operator [7]. First-order logic is the least expressive extension of M(D) with interpolation. These characterizations are subsequently used to derive new results about hybrid logic, relation algebra and the guarded fragment. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesBalder ten Cate (2005). Interpolation for Extended Modal Languages. Journal of Symbolic Logic 70 (1):223-234.
Eva Hoogland & Maarten Marx (2002). Interpolation and Definability in Guarded Fragments. Studia Logica 70 (3):373 - 409.
Oliver Kutz (2007). Notes on Logics of Metric Spaces. Studia Logica 85 (1):75 - 104.
Larisa Maksimova (1991). Amalgamation and Interpolation in Normal Modal Logics. Studia Logica 50 (3-4):457 - 471.
Johan van Benthem (2007). A New Modal Lindström Theorem. Logica Universalis 1 (1).
Melvin Fitting (2002). Interpolation for First Order S5. Journal of Symbolic Logic 67 (2):621-634.
Balder ten Cate (2006). Expressivity of Second Order Propositional Modal Logic. Journal of Philosophical Logic 35 (2):209 - 223.
Balder ten Cate (2006). Expressivity of Second Order Propositional Modal Logic. Journal of Philosophical Logic 35 (2).
Patrick Blackburn & Maarten Marx (2003). Constructive Interpolation in Hybrid Logic. Journal of Symbolic Logic 68 (2):463-480.
Carlos Areces, Patrick Blackburn & Maarten Marx (2001). Hybrid Logics: Characterization, Interpolation and Complexity. Journal of Symbolic Logic 66 (3):977-1010.
Patrick Blackburn & Maarten Marx (2002). Remarks on Gregory's “Actually” Operator. Journal of Philosophical Logic 31 (3):281-288.
Giovanna D.’Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3).
Giovanna D'Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3):421 - 435.
Hiroakira Ono (1986). Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions—a Semantical Approach. Studia Logica 45 (1):19 - 33.
Wiebe Van Der Hoek & Maarten De Rijke (1993). Generalized Quantifiers and Modal Logic. Journal of Logic, Language and Information 2 (1).
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
