Interconnections between classes of sequentially compositional temporal formulas

Authors:
Ben Moszkowski
Affiliations:
Software Technology Research Laboratory, De Montfort University, Leicester, UK
Venue:
Information Processing Letters
Year:
2013

Citing 3
Cited 0

Tentative steps toward a development method for interfering programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional Reasoning Using Interval Temporal Logic and Tempura

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Reasoning Using Intervals and Time Reversal

TIME '11 Proceedings of the 2011 Eighteenth International Symposium on Temporal Representation and Reasoning

Quantified Score

Hi-index	0.89

Visualization

Abstract

Interval Temporal Logic (ITL) is an established formalism for reasoning about time periods. We elucidate here the relationship between various kinds of compositional propositional ITL formulas. Several are closed under conjunction and the standard temporal operator known as ''box'' and ''always''.