Expressivity of extensions of dynamic first-order logic

Abstract

Dynamic predicate logic (DPL), presented in [5] 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 [6]. An interesting difference 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Contexts in dynamic predicate logic.Albert Visser - 1998 - Journal of Logic, Language and Information 7 (1):21-52.
Dynamic Montague grammar.Martin Stokhof - 1990 - In L. Kalman (ed.), Proceedings of the Second Symposion on Logic and Language, Budapest, Eotvos Lorand University Press, 1990, pp. 3-48. Budapest: Eotvos Lorand University Press. pp. 3-48.
The donkey and the monoid. Dynamic semantics with control elements.Albert Visser - 2002 - Journal of Logic, Language and Information 11 (1):107-131.
Arithmetical interpretations of dynamic logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
Dynamic relation logic is the logic of DPL-Relations.Albert Visser - 1997 - Journal of Logic, Language and Information 6 (4):441-452.
A calculus of substitutions for DPL.C. Vermeulen - 2001 - Studia Logica 68 (3):357-387.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Incremental dynamics.Jan van Eijck - 2001 - Journal of Logic, Language and Information 10 (3):319-351.

Analytics

Added to PP
2010-12-22

Downloads
36 (#385,180)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Van Eijck
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references