The many faces of interpolation
type: Item
instance of: scholarly article
title: The many faces of interpolation
zbMATH Open document ID: 1168.03020
published in: Synthese
publication date: 2009-06-16T00:00:00Z
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 5565214
zbMATH Keywords: interpolation
zbMATH Keywords: definability
zbMATH Keywords: cross-model relations
zbMATH Keywords: first-order fragments
zbMATH Keywords: meta-theory
author: Johan van Benthem
MaRDI profile type: Publication
full work available at URL: s11229-008-9351-5
OpenAlex ID: W2096617793
cites work: Q4362725
cites work: Modal languages and bounded fragments of predicate logic
cites work: Q4075450
cites work: Q3714043
cites work: Q4951952
cites work: Interpolation, preservation, and pebble games
cites work: Q5824680
cites work: Modal logics and mu-calculi: An introduction
cites work: Linear reasoning. A new form of the Herbrand-Gentzen theorem
cites work: Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
cites work: An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
cites work: Q4850061
cites work: Probabilities on finite models
cites work: Q5544276
cites work: Q4347145
cites work: Characterizations of negative definability in modal logic
cites work: Q4938431
cites work: On characterizability in Lω1ω0
cites work: On Extensions of Elementary Logic
cites work: The metatheory of the classical propositional calculus is not axiomatizable
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Q4716271
cites work: Interpolation for extended modal languages
cites work: The variety of consequence, according to Bolzano
cites work: Minimal predicates, fixed-points, and definability
cites work: Q3510437
cites work: Lindstrom theorems for fragments of first-order logic
cites work: Q4893140
DOI: 10.1007/S11229-008-9351-5
Recommended article: Q3341741
Recommended article: Interpolation with multiplicities
Recommended article: Q3701886
Recommended article: Multidimensional methods of interpolation
Recommended article: Q3792957
Recommended article: Q3682936
Recommended article: Q5459717
Recommended article: Interpolation†
Recommended article: Interpolation
description: scientific article; zbMATH DE number 5565214