A Semantic Approach to Interpolation

From FSL

Jump to: navigation, search

This work has been published both in a conference proceedings (FoSSaCS'06) and as a technical report. The technical report contains all the proofs that have been omitted from the conference paper.

[edit] FoSSaCS'06

A Semantic Approach to Interpolation
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
FOSSACS'06, LNCS 3921, pp 307-321. 2006
Abstract. Interpolation results are investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially generalize known interpolation results. All the others are new.
PDF, FOSSACS'06 slides, LNCS, FOSSACS '06, DBLP, BIB


[edit] Technical Report

A Semantic Approach to Interpolation
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
Technical Report UIUCDCS-R-2005-2643, May 2005
Abstract. Interpolation results are investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify more than twenty interpolation results for first-order logic and some for richer logics. A few of these results nontrivially generalize known interpolation results. All the others are new.
PDF, TR@UIUC, BIB


Views
Personal tools