Статья
Синтаксические возможности взаимовыразимости временных и алетических модальностей
2009
Статья посвящена анализу различных определений алетических модальностей при помощи операторов временной логики F и G, а также различным синтаксическим возможностям построения модальных и временных логик. Особое внимание уделяется понятию взаимовыразимости (взаимоперевода) временных и алетических модальностей.
Цитирование
Список литературы