Abstract
In this master's project we are interested in the connections between classical quantification theory and modal quantification theory, particularly the quantified version of S5.
Advanced search
Felipe de Souza Salvatore
CV Lattes
Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Felipe de Souza Salvatore in research grants and scholarships supported by FAPESP.
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Scholarships in Brazil
Scholarships abroad
- Topics in modal quantification theory, BE.EP.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)
Total / Available in English
| 2 / 2 | Completed scholarships in Brazil |
| 1 / 1 | Completed scholarships abroad |
| 3 / 3 | All Scholarships |
| Associated processes | |