Completeness of the Accumulation Calculus

Yu Huiqun, Song Guoxin, Sun Yongqiang. Completeness of the Accumulation Calculus[J]. Journal of Computer Science and Technology, 1998, 13(1): 25-31.

Citation:

Yu Huiqun, Song Guoxin, Sun Yongqiang. Completeness of the Accumulation Calculus[J]. Journal of Computer Science and Technology, 1998, 13(1): 25-31.

Citation:

Yu Huiqun, Song Guoxin, Sun Yongqiang. Completeness of the Accumulation Calculus[J]. Journal of Computer Science and Technology, 1998, 13(1): 25-31.

Abstract

The accumulation calculus (AC for short) is an interval based temporal logic to specify and reason about hybrid real-time systems. This paper presents a formal proof system for AC, and proves that the system is complete relative to that of Interval Temporal Logic (ITL for short) on real domain.

FullText(HTML)

Export File