scientific article; zbMATH DE number 5000355

MaRDI QIDQ3365587zbMATH OpenFDO

Authors Dimiter Skordev

Publication date 23 January 2006

zbMATH Keywords

duration domaininterval temporal logicpositive coneright-ordered group

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Ordered groups (06F15)

Cited in

(8)

• Guest editors' preface to special issue on interval temporal logics
• On coarser interval temporal logics
• scientific article; zbMATH DE number 6131597 (Why is no real title available?)
• Interval Temporal Logic Semantics of Box Algebra
• On the completeness and decidability of duration calculus with iteration
• A Road Map of Interval Temporal Logics and Duration Calculi
• Correction
• scientific article; zbMATH DE number 7809184 (Why is no real title available?)

This page was built for publication:

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