Graduate studies at Western
|Abstract||Dynamic predicate logic (DPL), presented in  as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming . An interesting diﬀerence from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Albert Visser (1998). Contexts in Dynamic Predicate Logic. Journal of Logic, Language and Information 7 (1):21-52.
Albert Visser (2002). The Donkey and the Monoid. Dynamic Semantics with Control Elements. Journal of Logic, Language and Information 11 (1):107-131.
Petr Hájek (1983). Arithmetical Interpretations of Dynamic Logic. Journal of Symbolic Logic 48 (3):704-713.
Albert Visser (1997). Dynamic Relation Logic is the Logic of DPL-Relations. Journal of Logic, Language and Information 6 (4):441-452.
C. Vermeulen (2001). A Calculus of Substitutions for DPL. Studia Logica 68 (3):357-387.
Marco Hollenberg (1997). An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6 (4):381-401.
Jan van Eijck (2001). Incremental Dynamics. Journal of Logic, Language and Information 10 (3):319-351.
Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39 - 100.
Balder ten Cate (2006). Expressivity of Second Order Propositional Modal Logic. Journal of Philosophical Logic 35 (2):209 - 223.
Added to index2010-12-22
Total downloads3 ( #213,863 of 740,298 )
Recent downloads (6 months)1 ( #61,680 of 740,298 )
How can I increase my downloads?