Modelos lógicos na avaliação de um mestrado profissional: um exemplo de aplicação