Journal of Logic, Language and Information 7 (1):21-52 (1998)
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.
|Keywords||Context dynamics Predicate Logic relation resetting register variable expressability definability|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
On Dependent Pronouns and Dynamic Semantics.Rick Nouwen - 2007 - Journal of Philosophical Logic 36 (2):123-154.
Similar books and articles
Arithmetical Interpretations of Dynamic Logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
An Equational Axiomatization of Dynamic Negation and Relational Composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
The Donkey and the Monoid. Dynamic Semantics with Control Elements.Albert Visser - 2002 - Journal of Logic, Language and Information 11 (1):107-131.
Dynamic Relation Logic is the Logic of DPL-Relations.Albert Visser - 1997 - Journal of Logic, Language and Information 6 (4):441-452.
Added to index2009-01-28
Total downloads32 ( #153,898 of 2,146,939 )
Recent downloads (6 months)1 ( #385,507 of 2,146,939 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.