A pesquisa na área de Lógica concentra-se em duas linhas principais: (a) o desenvolvimento de semânticas alternativas (em particular: não-Fregeanas) para Lógicas Epistêmicas com aplicações em sistemas multi-agentes, IA, sistemas distribuidos etc.; (b) o estudo de lógicas abstratas não-clássicas e suas representações topológicas usando métodos algébricos, topológicos e da teoria da ordem.
Pesquisadores: Marlo Vieira dos Santos e Souza? e Steffen Lewitzka