Sequence semantics for dynamic predicate logic (Q1314278): Difference between revisions

Dynamic predicate logic provides a synthesis of the insights of discourse representation theory and the elegant formalism of predicate logic. In the 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 intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.