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