Hunter Chase : Capturing complexity with logical systems

Posted by Hunter Chase , part of the Louise Hay Logic Seminar.

At

April 25, 2019, 4 p.m.

In

427 SEO

Abstract

Despite its power in (infinite) model theory, first-order logic is largely in adequate when dealing with finite structures. It is incapable of capturing relatively simple properties, such as graph connectivity. We discuss other systems of logic and their ability to capture various complexity classes.