Yoram Hirshfeld (Tel Aviv University)
Specifying the state of a computation in each point of time in the continuous time line can be done naturally by the well established means of Mathematical Logic. A major school of computer scientists adopted instead the framework of temporal logic. We shall point out the difficulties and ad-hoc choices made when this is done ignoring classical mathematical logic and we shall show how it should be done within this framework. (Joint work with Alex Rabinovich)