publicações selecionadas CN: Dedução Natural para CLT Uma abordagem geral para quantificadores em dedução natural Uma Abordagem Geral para Quantificação em Dedução Natural CN: Dedução Natural para CTL