Sequence Semantics for Dynamic Predicate Logic

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...

Full description

Saved in:
Bibliographic Details
Published in:Journal of logic, language, and information language, and information, 1993-07, Vol.2 (3), p.217-254
Main Author: Vermeulen, C. F. M.
Format: Article
Language:English
Subjects:
Algebra
Discourse
Discourse markers
Inference
Information economics
Intuition
Logical antecedents
Mathematical functions
Predicate logic
Semantics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0925-8531
1572-9583
DOI:10.1007/BF01050788