The paper presents a static and dynamic version of an update semantics for a language of predicate logic enriched with simplex interrogatives. The static version gives rise to the same logic as the denotational semantics given for the same language in Groenendijk & Stokhof (1997). The dynamic semantics has some additional features, which concern anaphoric relations, and present us with a notion of existential quantification which seems to correspond to the specific use of indefinites. At meta-logical level an absolute notion of discourse coherence is defined which covers the usual notion of answerhood as a special case. More fine-grained notions of relevance and coherence are given as well, and are applied to simple interrogative dialogues
Update semantics is a semantics that models the information change of a single agent. In his [1996],...
Logic was discovered by Aristotle when he saw that the semantic behavior of the negation word not is...
We look at two fundamental logical processes, often intertwined in planning and problem solving: inf...
this paper is to combine within the same logic the dynamic account of variable binding from Groenend...
In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignm...
There is an age-old tradition in linguistics and philosophy to identify the meaning of a entence wit...
Presupposition concerns information that is assumed to be part of the discourse-context by the speak...
I sketch a semantic interpretation of questions in first-order logic. Questions are interpreted as p...
This paper explores the relationship between dynamic and truth conditional semantics for epistemic m...
This paper discusses three potential varieties of update: updates to the common ground, structuring ...
discusses three potential varieties of update: updates to the common ground, structuring updates, an...
this paper I shall sketch a view of information updates in dialogue as opposed to the classical view...
Understanding the pattern by which complex sentences inherit the presuppositions of their parts (pre...
We introduce a two-sorted substructural logic called 'Update Logic' where the central objects of stu...
International audienceIn this work, we are interested in the computation of logical representations ...
Update semantics is a semantics that models the information change of a single agent. In his [1996],...
Logic was discovered by Aristotle when he saw that the semantic behavior of the negation word not is...
We look at two fundamental logical processes, often intertwined in planning and problem solving: inf...
this paper is to combine within the same logic the dynamic account of variable binding from Groenend...
In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignm...
There is an age-old tradition in linguistics and philosophy to identify the meaning of a entence wit...
Presupposition concerns information that is assumed to be part of the discourse-context by the speak...
I sketch a semantic interpretation of questions in first-order logic. Questions are interpreted as p...
This paper explores the relationship between dynamic and truth conditional semantics for epistemic m...
This paper discusses three potential varieties of update: updates to the common ground, structuring ...
discusses three potential varieties of update: updates to the common ground, structuring updates, an...
this paper I shall sketch a view of information updates in dialogue as opposed to the classical view...
Understanding the pattern by which complex sentences inherit the presuppositions of their parts (pre...
We introduce a two-sorted substructural logic called 'Update Logic' where the central objects of stu...
International audienceIn this work, we are interested in the computation of logical representations ...
Update semantics is a semantics that models the information change of a single agent. In his [1996],...
Logic was discovered by Aristotle when he saw that the semantic behavior of the negation word not is...
We look at two fundamental logical processes, often intertwined in planning and problem solving: inf...