Logic, Grammar and Language

The first volume of a new series that provides a forum for researchers working at the interface of logic, formal grammar, and computational linguistics. The five papers present dynamic semantic approaches to anaphora and frameworks for implementing typed feature structure grammar formalisms. Topics include axiomatization of several well known dynamic logics that model anaphora in terms of change in information state, an abstract machine for compiling feature structure grammars into executable code, and identifiability in the limit of context-free generalized quantifiers. No index. Distributed by ISBS. Annotation c. Book News, Inc., Portland, OR (booknews.com)