We provide a denotational semantics for first-order logic that captures the two-level view of the computation process typical for constraint programming. At one level we have the usual program execution. At the other level an automatic maintenance of the constraint store takes place. We prove that the resulting semantics is sound with respect to the truth definition. By instantiating it by specific forms of constraint management policies we obtain several sound evaluation policies of first-order formulas. This semantics can also be used a basis for sound implementation of constraint maintenance in presence of block declarations and conditionals.
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 i n tuitions of the usual semantics are preserved. Then it is shown that the re ned semantics re ects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics. 1 ( ] ) gs , the interpretation of as an update function, is de ned by the following property:( ] ) gs = fg 2 ASS : 9f 2 f ] ] gs gg
In this paper we are concerned with the special requirements that a semantics of texts should meet. It is argued that a semantics of texts should be incremental and should satisfy the break in principle. We d e v elop a semantics for propositional texts that satis es these constraints. We will see that our requirements do not only apply to the semantics but also have consequences for the syntax. The interaction between text structure and text meaning will turn out to be of crucial importance to the semantics of texts.We d e v elop two v ersions of the semantics: one representational, one in update style.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.