  This paper surveys main and recent studies on temporal logics in a broad
sense by presenting various logic systems, dealing with various time
structures, and discussing important features, such as decidability (or
undecidability) results, expressiveness and proof systems.
