Completeness of the accumulation calculus

DOI10.1007/BF02946611zbMath0891.03005OpenAlexW2140287654MaRDI QIDQ1383468

Huiqun Yu, Guoxin Song, Yong-Qiang Sun

Publication date: 29 June 1998

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946611

zbMATH Keywords

completenessinterval temporal logicaccumulation calculushybrid real-time systemsinterval based temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80)

Cites Work

• A calculus of durations
• Models for reactivity

This page was built for publication: Completeness of the accumulation calculus