Louise Hay Logic Seminar
Jon Yaggie
UIC
Finite model theory and belief revision II
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.
Thursday December 4, 2014 at 4:00 PM in SEO 427