Topics in modal quantification theory

• Grant number: 14/11951-9
• Support Opportunities: Scholarships abroad - Research Internship - Master's degree
• Start date: September 15, 2014
• End date: March 14, 2015
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Rodrigo Bacellar da Costa e Silva
• Grantee: Felipe de Souza Salvatore
• Supervisor: Melvin Fitting
• Host Institution: Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH). Universidade de São Paulo (USP). São Paulo , SP, Brazil
• Institution abroad: City University of New York, New York (CUNY), United States
• Associated to the scholarship: 12/24619-7 - Topics in Modal Quantification Theory, BP.MS

Abstract

In this internship proposal we are interested in going to the Graduate Center at the City University of New York to advance our ongoingresearch in modal logic. The main focus of the research will be on first-order modal logic, particularly the quantied version of S5. (AU)