Interpolation in computing science: The semantics of modularization

DOI10.1007/S11229-008-9358-YzbMATH Open1184.03017OpenAlexW2057205217MaRDI QIDQ1024120FDOQ1024120

Authors: Gerard R. Renardel de Lavalette 

Publication date: 16 June 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9358-y

Recommendations

• A semantic approach to interpolation
• scientific article; zbMATH DE number 1931663
• scientific article; zbMATH DE number 1303729
• Interpolation in practical formal development
• Harmonious logic: Craig's interpolation theorem and its descendants

zbMATH Keywords

interpolationmodularizationalgebraic theorymodule algebrahidingtheory algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Interpolation, preservation, definability (03C40)

Cites Work

• Interpolation and SAT-based model checking.
• Program development by stepwise refinement
• An interpolating theorem prover
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Lazy Abstraction with Interpolants
• Module algebra
• A simple algebraic proof of the equational interpolation theorem
• On a generalized modularization theorem
• Title not available (Why is that?)
• On the unusual effectiveness of logic in computer science
• Title not available (Why is that?)
• A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
• Logics in Artificial Intelligence

Cited In (4)

• Craig Interpolation for Linear Temporal Languages
• Title not available (Why is that?)
• Interpolation in practical formal development
• Craig interpolation for networks of sentences

Uses Software

• FOCI

This page was built for publication: Interpolation in computing science: The semantics of modularization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024120)