research line of
- Filosofia Patrística e Medieval Grupo de Pesquisa
- Filosofia e Direito Grupo de Pesquisa
- Filosofia na Idade Média Grupo de Pesquisa
- Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME) Grupo de Pesquisa
- Grupo de Estudos em Cognição e Realidade Grupo de Pesquisa
- Grupo de Pesquisa em Lógica e Epistemologia Grupo de Pesquisa
- Language-driven software engineering Grupo de Pesquisa
- Lógica e Epistemologia Grupo de Pesquisa
- Lógica e Filosofia da Ciência Grupo de Pesquisa
- Lógica no Avião Grupo de Pesquisa
- NEFA - Núcleo de Estudos de Filosofia Analítica Grupo de Pesquisa
- TecMF - Logical Reasoning Grupo de Pesquisa