Interpolation in local theory extensions

Sofronie-Stokkermans, Viorica

doi:10.2168/LMCS-4(4:1)2008

Local TagsRelease HistoryDetailsSummary

Interpolation in local theory extensions

Sofronie-Stokkermans, V. (2008). Interpolation in local theory extensions. Logical Methods in Computer Science, 4(4), Art.1.1-31. doi:10.2168/LMCS-4(4:1)2008.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1C00-D Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-BBD3-B

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Sofronie-Stokkermans, Viorica¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

hide

Free keywords: -

Abstract: In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using a prover and a procedure for generating interpolants in the base theory as black-boxes. We present several examples of theory extensions in which interpolants can be computed this way, and discuss applications in verification, knowledge representation, and modular reasoning in combinations of local theories.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2009-03-31Date issued: 2008

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 428281
DOI: 10.2168/LMCS-4(4:1)2008
URI: http://dx.doi.org/10.2168/LMCS-4(4:1)2008
Other: Local-ID: C125756E0038A185-0BAC6AC51314A396C12573E90031E4EB-Sofronie-Stokkermans-lmcs-2008

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Logical Methods in Computer Science

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 4 (4) Sequence Number: - Start / End Page: Art.1.1 - 31 Identifier: ISSN: 1860-5974