The Monadic Grzegorczyk Logic

Abstract

We develop a semantic criterion for determining whether a given monadic modal logic axiomatizes the one-variable fragment of a predicate modal logic. We show that the criterion applies to the monadic Grzegorczyk logic $\text{MGrz}$, thus establishing that $\text{MGrz}$ axiomatizes the one-variable fragment of the predicate Grzegorczyk logic $\text{QGrz}$. This we do by proving the finite model property of $\text{MGrz}$, which is achieved by strengthening the notion of a maximal point of a descriptive $\text{MGrz}$-frame and by refining the existing selective filtration methods.