Pages that link to "Item:Q1006639"
From MaRDI portal
The following pages link to A semantic approach to interpolation (Q1006639):
Displaying 14 items.
- Craig interpolation for networks of sentences (Q435205) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- Interpolation and the interpretability logic of PA (Q867400) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Interpolation in computing science: The semantics of modularization (Q1024120) (← links)
- A unified approach to relative interpolation (Q1110503) (← links)
- A logical approach to interpolation based on similarity relations (Q1809365) (← links)
- An institution-independent proof of Craig interpolation theorem (Q1876090) (← links)
- First-order interpolation derived from propositional interpolation (Q2193292) (← links)
- Semantic interpolation (Q2901200) (← links)
- Constructive interpolation in hybrid logic (Q3160549) (← links)
- Interpolation via translations (Q3184216) (← links)
- (Q4787878) (← links)