Viktoriia Denisova is undergoing an internship at the Center for Logic, Epistemology and History of Science at the University of Campinas, Brazil
Under the supervision of Professor Fábio Maia Bertato and Professor Itala Loffredo d’Ottoviano Viktoriia is working on formalisms for reasoning with conditionals.