Interval-Related Interpolation in Interval Temporal Logics
Dimitar P. Guelev · Logic Journal of IGPL · 2001
This paper presents a new kind of interpolation theorems about Neighbourhood Logic (NL, [10]) and Interval Temporal Logic (ITL, [8, 4]). Unlike Craig interpolation, which holds for these logics too, the new theorems treat the existence of interpolants which specify properties of selected intervals in the models of NL and ITL.