17 Гончарко Оксана Юрьевна алетические модальности alethic modalities Tense logics non-classical logics modal logics temporal operators неклассические логики Модальные логики временные операторы Временные логики 2009 2023-07-10 Известия Российского государственного педагогического университета им. А.И. Герцена Статья посвящена анализу различных определений алетических модальностей при помощи операторов временной логики F и G, а также различным синтаксическим возможностям построения модальных и временных логик. Особое внимание уделяется понятию взаимовыразимости (взаимоперевода) временных и алетических модальностей. https://rgpu.elpub.ru/publication/4606