Expressive Power of Temporal Logics

The objectives are to survey classical and recent
expressive completeness results and to provide some external
yardsticks by which the expressive power of temporal logics can
be measured.