banner USF Home College of Arts & Sciences OASIS myUSF USF A-Z Index

USF Home > College of Arts and Sciences > Department of Mathematics & Statistics

Mathematics & Statistics

Discrete Mathematics
(Leader: )

Monday, January 22, 2018


On Logic Definition and Comparison Games and First-Order Logic
Daviel Leyva
CMC 108


During the Twentieth century, Leon Henkin, Jaakko Hintikka, and others connected game theory and logic. In this talk, we shall introduce the basic ideas connecting these two branches of mathematics as well as a method to obtain semantics from syntax via games developed by Hintikka. We shall also see how we can tell if two structures are “indistinguishable” (in a given logic) from one another as prescribed by Roland Fraïssé and Andrzej Ehrenfeucht.