Interval-related interpolation in interval temporal logics

DOI10.1093/JIGPAL/9.5.677MaRDI QIDQ2765560zbMATH OpenOpenAlexFDO

Authors Dimitar P. Guelev

Publication date 16 September 2002

Published in Logic Journal of the 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

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

Recommendations

• Logical Interpolation and Projection onto State in the Duration Calculus
• Craig Interpolation for Linear Temporal Languages
• Interpolation theorems for some variants of LTL
• scientific article; zbMATH DE number 3889506
• scientific article; zbMATH DE number 3862427

Cited in

(4)

• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
• Logical Interpolation and Projection onto State in the Duration Calculus
• Craig Interpolation for Linear Temporal Languages
• Interpolation theorems for some variants of LTL

This page was built for publication: Interval-related interpolation in interval temporal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2765560)