Continuous time temporal and predicate logic

Photograph of Yoram Hirshfeld

Yoram Hirshfeld

(Tel Aviv)

We develop metric temporal logic within the framework of monadic logic, with the positive real line as its canonical model. This makes evolving programs a special case of systems evolving in time (not necessarily with finite variability). Decidability and complexity results are derived from the non metric case, without resorting to automata theory, and apply also to processes without finite variability. We hope that this work (joint with Alex Rabinovich) will put in order a chaotic domain where lots of talent was invested achieving advanced technical results within (arguable) unnatural frameworks.
Thursday 1st July 2004, 14:00
Robert Recorde Room
Department of Computer Science