Journal of Logic, Language and Information

, Volume 7, Issue 1, pp 21–52

Contexts in Dynamic Predicate Logic

  • Albert Visser

DOI: 10.1023/A:1008206916207

Cite this article as:
Visser, A. Journal of Logic, Language and Information (1998) 7: 21. doi:10.1023/A:1008206916207


In this paper we introduce a notion of context for Groenendijk & Stokhof's Dynamic Predicate Logic DPL. We use these contexts to give a characterization of the relations on assignments that can be generated by composition from tests and random resettings in the case that we are working over an infinite domain. These relations are precisely the ones expressible in DPL if we allow ourselves arbitrary tests as a starting point. We discuss some possible extensions of DPL and the way these extensions interact with our notion of context.

Context dynamics Predicate Logic relation resetting register variable expressability definability 

Copyright information

© Kluwer Academic Publishers 1998

Authors and Affiliations

  • Albert Visser
    • 1
  1. 1.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations