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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
van Benthem, J., 1989, “Semantic parallels in natural language and computation,” inLogic Colloquium '87, H. Ebbinghaeset al., eds., Elsevier, Amsterdam.
van Benthem, J., 1991, “General Dynamics,”Theoretical Linguistics 159–201.
Dekker, P., 1992, “An update semantics for dynamic predicate logic,” inProceedings of the 8th Amsterdam Colloquium, P. Dekker, M. Stokhof eds., JLLC, Amsterdam.
Fernando, T., 1991,Transition Systems and Dynamic Semantics, CWI Report CS-R9217, Amsterdam.
Groenendijk, J. and Stokhof, M., 1991, “Dynamic Predicate Logic,”Linguistics and Philosophy 14, 39–100.
Groenendijk, J. and Stokhof, M., 1991, “Two theories of dynamic semantics,” pp. 55–64 inLogics in AI — European Workshop JELIA '90, J. van Eijck, ed., pp. 55–64, Springer, Berlin.
Kamp, H., 1984, “A Theory of Truth and Semantic Representation,” inTruth, Interpretation and Information, Groenendijket al. eds., Mathematisch Centrum, Amsterdam.
Kamp, H. and Reyle, U., 1991,From Discourse to Logic, manuscript, Institute for Computational Linguistics, University of Stuttgart, 1990.
Pratt, V., 1991, “Action Logic and Pure Induction,” pp. 97–120 inLogics in AI — European Workshop JELIA '90, J. van Eijck, ed., pp. 97–120, Springer, Berlin.
Veltman, F., 1991,Defaults in update semantics, inConditionals, Defaults and Belief Revision, H. Kamp (ed.), Edinburgh, Dyana deliverable R2.5A.
Visser, A., 1992,Actions under Presupposition, in Logic Group Preprint Series, no.76.
Zeevat, H., “A Compositional Approach to Discourse Representation Theory,”Linguistics and Philosophy 12, pp. 95–131.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Vermeulen, C.F.M. Sequence semantics for dynamic predicate logic. J Logic Lang Inf 2, 217–254 (1993). https://doi.org/10.1007/BF01050788
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01050788