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