Relational validity & dynamic predicate logic door A. Visser