We present here some highlights of the Theory of Modal Functions, and in particular an important result in the Theory of Systems of Modal Functions: the determination of the pre-complete systems of modal functions. This result is the modal (S5) correlate of Post's criterion of (truth-)functional completeness, and was originally shown by the Moldavian logician M. F. Ratsa (who published it in a paper written in Russian). We present Ratsa's theorems in a framework slightly different from his, and we provide corrections of a few small errors of the original version.

Apresentamos alguns fatos relevantes da Teoria das Funções Modais, e em particular um resultado importante na Teoria dos Sistemas de Funções Modais: a determinação dos sistemas pré-completos de funções modais. Esse resultado é o correlato modal (em S5) do critério de completude (vero-)funcional de Post, e é originalmente devido ao lógico moldávio M. F. Ratsa (que o publicou em um artigo em russo). Nós apresentamos os teoremas de Ratsa em um contexto ligeiramente modificado, e fornecemos correções de alguns pequenos erros do artigo original.