2026-07-23T10:34:50Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18805 2024-03-06T11:01:54Z ddc:004 open_access

Interpolation Is (Not Always) Easy to Spoil Tarlecki, Andrzej interpolation institutions institutional abstract model theory specification theory We study a version of the Craig interpolation theorem as formulated in the framework of the theory of institutions. This formulation proved crucial in the development of a number of key results concerning foundations of software specification and formal development. We investigate preservation of interpolation under extensions of institutions by new models and sentences. We point out that some interpolation properties remain stable under such extensions, even if quite arbitrary new models or sentences are permitted. We give complete characterisations of such situations for institution extensions by new models, by new sentences, as well as by new models and sentences, respectively. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Andrzej Tarlecki 2023 Is Part Of LIPIcs, Volume 270, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2023.8 urn:nbn:de:0030-drops-188059 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.8 eng https://creativecommons.org/licenses/by/4.0/legalcode