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

The article is devoted to different de? nitions of alethic modalities in terms of temporal operators F and G. There given a few syntactic ways of constructing modal and tense logics. Special attention is paid to the concept of inter-expressibility (mutual interpretation) of alethic and temporal modalities.