Системы временной логики I: моменты, истории, деревья

В статье дается обзор основных идей, лежащих в основаниях семантических конструкций, используемых в различных системах $\textit{логики времени}$, как одного из направлений современной философской логики. Для систем логик линейного и ветвящегося времени описаны ключевые особенности их формализованных языков, модельных структур, служащих для их интепретации, даны ссылки на основные технические результаты, связанные с формализациями этих систем.