Abstract

The aim of this paper is to study the n-variable fragment of first order logic from a
modal perspective. We define a modal formalism called cylindric mirror modal logic, and
show how it is a modal version of first order logic with substitution. In this approach,
we can define a semantics for the
... read more