Curso Mestrado Título da pesquisa Topics in modal quantification theory Orientador Rodrigo Bacellar Data da defesa 21/08/2015 http://www.teses.usp.br/teses/disponiveis/8/8133/tde-141220…