Jon Yaggie : Finite model theory and belief revision II

Posted by Aida Alibek , part of the Louise Hay Logic Seminar.

At

Dec. 4, 2014, 4 p.m.

In

SEO 427

Abstract

I will give a brief introduction to finite model theory and belief revision. This talk will be on applying finite model theory to prove results on characterizability in belief revision.