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
... read more
