Sequence semantics for dynamic predicate logic

Journal of Logic, Language and Information 2 (3):217-254 (1993)
  Copy   BIBTEX

Abstract

In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
113 (#161,393)

6 months
19 (#144,815)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Varieties of update.Sarah E. Murray - 2014 - Semantics and Pragmatics 7 (2):1--53.
The sophisticated kind theory.Matt Teichman - 2023 - Inquiry: An Interdisciplinary Journal of Philosophy 66 (9):1613-1654.
The sophisticated kind theory.Matt Teichman - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy:1-47.

View all 19 citations / Add more citations

References found in this work

Defaults in update semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
A Theory of Truth and Semantic Representation.Hans Kamp - 1981 - In P. Portner & B. H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.
A compositional approach to discourse representation theory.Henk Zeevat - 1989 - Linguistics and Philosophy 12 (1):95 - 131.

Add more references