Pages that link to "Item:Q2716926"
From MaRDI portal
The following pages link to Interpolation in practical formal development (Q2716926):
Displaying 11 items.
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Common knowledge does not have the Beth property (Q987837) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Interpolation in computing science: The semantics of modularization (Q1024120) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions (Q2305440) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)