Towards the minimum set of primitive relations in temporal logic

DOI10.1016/0020-0190(87)90049-4zbMath0642.03019OpenAlexW2050642449MaRDI QIDQ1101103

Mingfa Zhu, Pepe Siy, Nan K. Loh

Publication date: 1987

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(87)90049-4

zbMATH Keywords

interval-based temporal logicprimitive relationstime inversion mappingtransitivity table

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (1)

On relations between intervals

Cites Work

• Maintaining knowledge about temporal intervals

This page was built for publication: Towards the minimum set of primitive relations in temporal logic