Currículo Vitae
Seminários
Quine-Carnap: Junto a disciplina de epistemologia. Universidade de Brasília.
Comentários sobre o artigo do prof. Julio Cabrera: Grupos de estudos em lógica. Coordenação prf. Dr. Julio Cabrera. Universidade de Brasília. UnB 2003.
Defesa de monografia “Alguns sistemas modais fracos”: Orientador: Prf. Dr. Nelson Gonçalves Gomes. Universidade de Brasília. UnB 2003.
Leitura do artigo de Cláudio Pizzi: Disciplina lógicas não clássicas. UNICAMP 2005.
Leitura do artigo sobre lógicas da relevância: Unicamp 2005.
Semânticas algébricas para lógicas modais (introdução): UNICAMP Outubro-2005
Apresentação do teorema de Lindström. Teoria de modelos: UNICAMP 11/12/2005
Lukasiewicz, Bivalência e verofuncionalidade – Seminários CLE - UNICAMP 30/08/2006
Máquinas de Turing - Computabilidade - CLE - UNICAMP 03/09/2006
O Paradoxo do Exame Surpresa. Seminários CLE. UNICAMP 2009
Participação em Congressos
Semantics and meaning: (com a presença de Saul Kripke): UNICAMP Campinas(SP), Julho-2005.
Mini-escola de lógica: PUC-RJ. Rio de Janeiro(RJ), Setembro-2005
EBL (encontro brasileiro de lógica)- Itatiaia (RJ), Abril-2006
Anpof (encontro da associação nacional de pós-graduação em filosofia)– Salvador (BA), 23 a 27 de outubro de 2006
Symposium Internacional Principia – Florianópolis (SC), 06 a 09 de Agosto de 2007
Apresentação de Traballhos em congressos
Popper e a Paraconsistência - EBL Abril-2006.
Modalidades diodoréias e modalidades aristotélicas – EBL Abril-2006
Alguns sistemas multimodais aléticos temporais – Anpof Outubro-2006
Anpof (encontro da associação nacional de pós-graduação em filosofia) - Salvador (BA), 23 a 27 de outubro de 2006
Semânticas algébricas para as lógicas modais - Symposium Internacional Principia - Agosto 2007
