Switch to: References

Add citations

You must login to add citations.
  1. The donkey and the monoid. Dynamic semantics with control elements.Albert Visser - 2002 - Journal of Logic, Language and Information 11 (1):107-131.
    Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk and Stokhof. One rationale behind the introduction of DPL is that it is closer to Natural Language than ordinary Predicate Logic in the way it treats scope.In this paper I develop some variants of DPL that can more easily approximate Natural Language in some further aspects. Specifically I add flexibility in the treatment of polarity and and some further flexibility in the treatment of scope.I develop a framework (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Variables as stacks.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (2):143-167.
    The development of the dynamic semantics of natural languagehas put issues of variable control on the agenda of formal semantics. Inthis paper we regard variables as names for stacks of values and makeexplicit several control actions as push and pop actions on stacks. Weapply this idea both to static and dynamic languages and compare theirfinite variable hierarchies, i.e., the relation between the number ofvariable stacks that is available and the expressivity of the language.This can be compared in natural languages with (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Incremental dynamics.Jan van Eijck - 2001 - Journal of Logic, Language and Information 10 (3):319-351.
    A new system of dynamic logic is introduced and motivated, witha novel approach to variable binding for incremental interpretation. Thesystem is shown to be equivalent to first order logic and complete.The new logic combines the dynamic binding idea from DynamicPredicate Logic with De Bruijn style variable free indexing. Quantifiersbind the next available variable register; the indexing mechanismguarantees that active registers are never overwritten by newquantifiers actions. Apart from its interest in its own right, theresulting system has certain advantages over Dynamic (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Dynamic negation, the one and only.Marco Hollenberg & Albert Visser - 1999 - Journal of Logic, Language and Information 8 (2):137-141.
    We consider the variety of Dynamic Relation Algebras V(DRA). We show that the monoid of an algebra in this variety determines dynamic negation uniquely.
    Download  
     
    Export citation  
     
    Bookmark  
  • Relational validity & dynamic predicate logic.Albert Visser - 1997 - Journal of Logic Language and Information 6:441-452.
    Download  
     
    Export citation  
     
    Bookmark