[comp.theory] bounded temporal logic?

oguz@herky.cs.uiowa.edu (12/29/90)

Is anybody aware of a temporal logic with "bounded" modalities? This logic would
have the modality F_m for each natural number m, instead of the usual eventuality
operator F so that "F_m p" would mean "within m units of time from the present
time p will hold true". Similarly, "G_m p" would mean "henceforth throughout m units
of time p will hold true".

Please, respond to me. I will post a summary of replies. Thanks in advance.

Halit Oguztuzun