Works by Guelev, Dimitar (exact spelling)

Order:
  1.  17
    Interval-Related Interpolation in Interval Temporal Logics.Dimitar Guelev - 2001 - Logic Journal of the IGPL 9 (5):677-685.
    This paper presents a new kind of interpolation theorems about Neighbourhood Logic and Interval Temporal Logic . 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.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation