Pretende-se obter novos resultados para fragmentos da lógica de predicados de primeira ordem, cujos