Системы временной логики I: моменты, истории, деревьястатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 8 апреля 2022 г.
Аннотация:В статье дается обзор основных идей, лежащих в основаниях семантических конструкций, используемых в различных системах логики времени, как одного из направлений современной философской логики. Для систем логик линейного и ветвящегося времени описаны ключевые особенности их формализованных языков, модельных структур, служащих для их интепретации, даны ссылки на основные технические результаты, связанные с формализациями этих систем.