Логіка часу

розділ сучасної логіки, в якому досліджуються особливості міркувань про сутності, що існують у часі