Counting variables in a dynamic setting

Abstract

We discuss the issue of nite variable fragments from a dynamic perspective. Instead of taking PRED, rst 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 c haracterisation of all the nite variable fragments of DPLE.

Formal Approaches to Semantics and Pragmatics

“…In this section we look at Dynamic Predicate Logic with Exit operators (DPLE) as introduced by Vermeulen (1993Vermeulen ( , 2000, Hollenberg and Vermeulen (1996), with the exception that we adopt predicate logic notation for the purpose of comparison. The system itself extends the system of Dynamic Predicate Logic from Groenendijk and Stokhof (1991) with the distinctive feature of treating the scoping of variables by means of sequences.…”

⋌

“…In the area of dynamic semantics for natural language, a stack-based semantics for a variant of predicate logic is presented in [17]. Although, the exact relationship is not clear to us yet, a difference seems to be that in their semantics every variable has its own stack, whereas we have a single stack.…”