Computational Logic Seminar

Speaker: Robert Ballantyne, Mathematics, SFU

Time: Thursday, Dec 4, 1:30 pm

Place: ASB 9507

Title: Fixed-point logics and infinitary logics

Abstract: This is a talk that presents some research questions that I'm starting to work on, rather than finished work. Fixed-point logics play an important role in computational logic, for example in the semantics of logic programs. It seems fruitful to compare fixed-point logics to classical logic to understand the properties of fixed-point logic and open up the potential of applying to them results from classical logic. Previous research indicates that fixed-point logics correspond to infinitary logics, logics that allow infinitely long formulae. I will explain some of these results and discuss what infinitary logics might correspond to various fixed-point constructions.