h1

A question about modal logic

September 5, 2008

Say that a class of Kripke frames, \mathfrak{C}, is compact just in case, for every set of propositional modal formulae, \Gamma, \Gamma has a model in \mathfrak{C} (i.e. a model based on a frame in \mathfrak{C}) iff every finite subset of \Gamma has a model in \mathfrak{C}.

We know some sufficient conditions for \mathfrak{C} to be compact, for example, if \mathfrak{C} is closed under taking ultraproducts. Does anyone know any necessary conditions (or even necessary and sufficient conditions) for compactness in this sense?

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: