Interpolation in non-classical logics
type: Item
instance of: scholarly article
title: Interpolation in non-classical logics
zbMATH Open document ID: 1171.03018
author: Giovanna D'Agostino
published in: Synthese
publication date: 2009-06-16T00:00:00Z
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 5565222
zbMATH Keywords: interpolation
zbMATH Keywords: nonclassical logics
zbMATH Keywords: bisimulation quantifers
zbMATH Keywords: uniform interpolation
MaRDI profile type: Publication
full work available at URL: s11229-008-9359-x
OpenAlex ID: W2088685215
cites work: Repairing the interpolation theorem in quantified modal logic
cites work: Interpolation in fuzzy logic
cites work: Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
cites work: Contraction-free sequent calculi for intuitionistic logic
cites work: Failures of the interpolation lemma in quantified modal logic
cites work: Q3022776
cites work: Q3509053
cites work: Undefinability of propositional quantifiers in the modal system S4
cites work: Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
cites work: An extension of the Craig-Lyndon interpolation theorem
cites work: Q4187817
cites work: Temporal logics with ``the next'' operator do not have interpolation or the Beth property
cites work: Q4250364
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: An introduction to non-classical logic
cites work: Modal tableau calculi and interpolation
cites work: Interpolation in fragments of intuitionistic propositional logic
cites work: Interpolation in fragments of classical linear logic
cites work: Der Interpolationssatz der intuitionistischen Prädikatenlogik
cites work: Interpolation for extended modal languages
DOI: 10.1007/S11229-008-9359-X
Recommended article: Definability and interpolation in non-classical logics
Recommended article: Q4250364
Recommended article: Interpolation in fragments of classical linear logic
Recommended article: Interpolation in extensions of first-order logic
Recommended article: On Interpolation in Existence Logics
Recommended article: Interpolation in fragments of intuitionistic propositional logic
Recommended article: Contradiction, Quantum Mechanics, and the Square of Opposition
Recommended article: Interpolation in propositional Horn logic
Recommended article: Q3784045
Recommended article: First-order interpolation of non-classical logics derived from propositional interpolation
description: scientific article; zbMATH DE number 5565222