LoTTec

Diego Fernandes

Currículo Lattes

Pesquisa

Tenho atualmente (2026) dois projetos de pesquisa em andamento:

• Teoremas de Lindström para Fragmentos Guardados da Lógica de Primeira Ordem
• A expressibilidade de ações de atualização epistêmica na lógica proposicional dinâmica

Últimas publicações

• A Lindström Theorem for the Hybrid Logic H(E). Studia Logica, 2025.
• Comparing Expressiveness of Logics Defined within Different Classes of Models. Logic And Logical Philosophy, 2023.
• On the comparisons of logics in terms of expressive power. Manuscrito, v. 46, págs. 1-43, 2023.
• Henkin on Nominalism and Higher-Order Logic. Principia, v. 26, págs. 233-255, 2022