Expressive Power of Temporal Logics
Tel Aviv University (Israel)
The objectives of this talk is to survey classical and recent
expressive completeness results and to provide some external
yardsticks by which the expressive power of temporal logics can be
Place: Information technology, Uppsala University
Time: 13.15-14.15 (+ discussions)
Room 1113 is in building 1, floor 1, room 13
(in the southern part of the building).
Help on how to find ASTEC Seminars.
There will be an extended period for discussions after the seminar.
Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Everyone is welcome !
Updated 30-Sep-2002 08:54 by Roland Grönroos
e-mail: info -at- astec.uu.se