Interpolation and amalgamation in modal cylindric algebras

Abstract

Let α be an ordinal and L be a unimodal logic (like S4 or S5). A modal cylindric algebra of dimension α, an LCAα, is a cylindric algebra of dimension α, expanded with α-many L modalities. For a frame (U;R) of L, each k < α, one defines a diamond box operator on . This defines the semantics of the L modalities in set algebras, with the rest of the operations dened like in cylindric set algebras of dimension α. We study interpolation properties for the corresponding predicate logic having α-many variables. Our results are valid for any re exive L whose frames contain the universal frames (U,U x U). In particular, they hold for K5CA_α, S4CA_α (which is an algebraizable extension of topological predicate logic with semantics induced by Alexandrov topologies).

Mathematics Subject Classification (2010): 03B50, 03B52, 03G15.