Cylindric modal logic

Abstract

In this paper we develop a modal formalism called cylindric modal logic we investigate its basic semantics and axiomatics. The motivation for introducing this formalism is twofold: first, it forms an interesting bridge over the gap between propositional formalisms and first-order logic: And second, the modal tools developed in studying cylindric modal logic will be applied to analyze, some problems in algebraic logic