Jon Yaggie : Finite model theory and belief revision I

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

At

Nov. 20, 2014, 4 p.m.

In

SEO 427

Abstract

I will give a brief introduction to finite model theory and belief revision. This talk will provide the background for the next talk (to be given in two weeks) on applying finite model theory to prove results on characterizability in belief revision.