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.

Categories

Keywords

Reprint years

DOI

10.1007/bf01050788

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

My notes

Similar books and articles

Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
Merging without mystery or: Variables in dynamics semantics. [REVIEW]C. F. M. Vermeulen - 1995 - Journal of Philosophical Logic 24 (4):405 - 450.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
The dynamic turn in twentieth century logic.Paul Gochet - 2002 - Synthese 130 (2):175 - 184.
Semantic and pragmatic issues in discourse and dialogue: experimenting with current dynamic theories.Myriam Bras & Laure Vieu (eds.) - 2001 - New York: Elsevier.
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.
Semantics: a reader.Steven Davis & Brendan S. Gillon (eds.) - 2004 - New York: Oxford University Press.

Analytics

Added to PP
2009-01-28

Downloads
109 (#158,107)

6 months
16 (#149,874)

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