Interval-Related Interpolation in Interval Temporal Logics

DOI10.1093/JIGPAL/9.5.677zbMath0992.03025OpenAlexW2060426327MaRDI QIDQ2765560

Dimitar P. Guelev

Publication date: 16 September 2002

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/3d6ef8de08fca7da7b0b14992d4af2dbb69c163d

zbMATH Keywords

interpolationInterval Temporal LogicNeighbourhood Logic

Mathematics Subject Classification ID

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

Related Items (1)

Logical Interpolation and Projection onto State in the Duration Calculus

This page was built for publication: Interval-Related Interpolation in Interval Temporal Logics