Interpolation in practical formal development

DOI10.1093/jigpal/9.2.231zbMath0981.03035OpenAlexW2050310225MaRDI QIDQ2716926

Theodosis Dimitrakos, Thomas S. E. Maibaum, J. C. Bicarregui, Dov M. Gabbay

Publication date: 11 March 2002

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b3177fd6186b71b0da9d8a9d6524fe97a92b3a7e

zbMATH Keywords

modularizationinterpolantsformal development

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

An institution-independent proof of the Robinson consistency theorem ⋮ Interpolation for predefined types ⋮ Preservation of Craig interpolation by the product of matrix logics ⋮ Craig interpolation in the presence of unreliable connectives ⋮ Definability and interpolation in non-classical logics ⋮ Common knowledge does not have the Beth property ⋮ A semantic approach to interpolation ⋮ FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions ⋮ Generalised graded interpolation