Логика времени изучает такие временные модальные понятия, как «было», «будет», «раньше», «одновременно» и т. п.