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