Continuous time offers no problems for situations and fluents. Indeed
[MH69] gave situation formulas for embedding Galileo's
falling body formula
in common sense notions of
what the symbols stand for. However, Result(e,s) and Next(s) are
not so straightforward when we take into account time as a real
number.
[MC98] treats actions whose effects result after a time and which require that certain fluents hold during the intermediate time.