Counting Variables in a Dynamic Setting

Abstract

We discuss the issue of finite variable fragments from a dynamic perspective. Instead of taking PRED, first order logic with equality, as our base language, we look at DPLE, a variant of predicate logic developed in the area of dynamic semantics for natural language. We present a characterisation of all the finite variable fragments of DPLE