Open AccessСистемы временной логики I: моменты, истории, деревья
Author(s) -
Oleg Grigoriev
Publication year - 2021
Publication title -
logičeskie issledovaniâ
Language(s) - Russian
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2021-27-2-153-184
Subject(s) - physics
В статье дается обзор основных идей, лежащих в основаниях семантических конструкций, используемых в различных системах $\textit{логики времени}$, как одного из направлений современной философской логики. Для систем логик линейного и ветвящегося времени описаны ключевые особенности их формализованных языков, модельных структур, служащих для их интепретации, даны ссылки на основные технические результаты, связанные с формализациями этих систем.