DPL with control elements

Rick Nouwen (Utrecht University)

The basic motivation behind the introduction of dynamic predicate
logic (DPL) by Groenendijk and Stokhof was the need for a logic which
is closer to natural language than ordinary predicate logic in the
way it treats its scope. The scope mechanisms of DPL work in the
general case but fail to work in special situations like the presence
of focus in conditionals. Based on a framework developed by Albert
Visser, I produced a variant of DPL, which is again closer to natural
language. The variant E-DPLup can handle dynamic effects of focus in
a flexible way. It produces meanings which are indexed sets (or
'files') of DPL-relations. So-called control elements direct the
information flow through the files. The variant is a fully
incremental logic, which can be used to construct meanings straight
from the natural language word-order.