Voltar aos Detalhes do Artigo Um modelo algébrico para a lógica modal KD Baixar Baixar PDF