Busca avançada
Ano de início
Entree

Juan Carlos Agudelo Agudelo

CV Lattes


Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE)  (Instituição-sede da última proposta de pesquisa)
País de origem: Colômbia

Possui graduação em Ingeniería de Sistemas - Universidad EAFIT, Medellin, Colombia (1997), mestrado em Ingeniería Informática -Universidad EAFIT, Medellin, Colombia (2001), mestrado em Filosofía (Lógica) pela Universidade Estadual de Campinas (2006) e doutorado em Filosofía (Àrea de Lógica) pela Universidade Estadual de Campinas (2009). Atualmente é professor vinculado - categoría auxiliar - Universidad de Antioquia. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: computabilidade e lógicas não clássicas. (Fonte: Currículo Lattes)

Bolsas no país
Apoio FAPESP em números  
1 Bolsas no país concluídas

Processos vinculados
Colaboradores mais frequentes em auxílios e bolsas FAPESP
Contate o Pesquisador

Este canal da BV/FAPESP deve ser utilizado tão somente para mensagens, referentes aos projetos científicos financiados pela FAPESP.


 

 

 

 

Palavras-chave utilizadas pelo pesquisador
Publicações resultantes de Auxílios e Bolsas sob responsabilidade do(a) pesquisador(a) (1)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

AGUDELO, JUAN C.; CARNIELLI, WALTER. POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES. Review of Symbolic Logic, v. 4, n. 1, p. 150-170, . Citações Web of Science: 6. (04/14107-2, 05/04123-3)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.
Por favor, reporte erros na informação da página do pesquisador escrevendo para: cdi@fapesp.br.
X

Reporte um problema na página


Detalhes do problema: