Seminário de Lógica Carioca
Quarta feira, dia 28 de novembro 2018
UFRJ - IFCS - Largo São Francisco de Paula 1
Sala 320B - PPLM - 3 Andar
11h
Guido Imaguire
Department of Philosophy, University of Brazil, Rio de Janeiro
"Observations on the Logic of Grounding."
12h
Mario Benevides
Department of Computation, University of Brazil, Rio de Janeiro
"Graphs, Complexity and Modal Logics"