Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!uunet!ns-mx!herky.cs.uiowa.edu!oguz
From: oguz@herky.cs.uiowa.edu
Newsgroups: comp.theory
Subject: bounded temporal logic?
Keywords: temporal logic
Message-ID: <3747@ns-mx.uiowa.edu>
Date: 28 Dec 90 21:15:03 GMT
Sender: news@ns-mx.uiowa.edu
Reply-To: oguz@herky.cs.uiowa.edu ()
Organization: U of Iowa, Iowa City, IA
Lines: 9

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