Modal temporal logics and description of time structures