1. (100%) Dynamic Predicate Logic - Jeroen Groenendijk,Martin Stokhof
the language of first-order predicate logic. The resulting system, which will be referred to as `dynamic predicate logic', is intended as a first step towards a compositional, non-representational
(pdf) - 31-mar-2009

2. (100%) Dynamic Predicate Logic - Jeroen Groenendijk,Martin Stokhof
the language of first-order predicate logic. The resulting system, which will be referred to as `dynamic predicate logic', is intended as a first step towards a compositional, non-representational
(ps) - 31-mar-2009