Modal Logic and Model-Theoretic Syntax

Many computational linguists use ideas from logic to analyse and develop syntactical frameworks. Their interest is not confined to the (fairly obviously applicable) tools offered by proof and complexity theory: there is a growing perception that the mathematical ontologies underlying linguistic theorising are interesting in their own right, and that the grammatical formalisms that deal with them should have an explicitly formulated semantics. In short, model theory is increasingly seen as valuable.

[1]  Ivan A. Sag,et al.  Information-Based Syntax and Semantics: Volume 1, Fundamentals , 1987 .

[2]  Ewan Klein,et al.  Categories, polymorphism and unification , 1987 .

[3]  Bob Carpenter,et al.  The logic of typed feature structures , 1992 .

[4]  Claire Gardent,et al.  Talking About Trees , 1993, EACL.

[5]  Marcus Kracht,et al.  Mathematical Aspects of Command Relations , 1993, EACL.

[6]  Richard E. Ladner,et al.  Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[7]  Dov M. Gabbay,et al.  Adding a temporal dimension to a logic system , 1992, J. Log. Lang. Inf..

[8]  K. Vijay-Shanker,et al.  Reasoning with Descriptions of Trees , 1992, ACL.

[9]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[10]  K. Vijay-Shanker,et al.  Using Descriptions of Trees in a Tree Adjoining Grammar , 1992, Comput. Linguistics.

[11]  Rolf Backofen,et al.  A first-order axiomatization of the theory of finite trees , 1995, J. Log. Lang. Inf..

[12]  Edith Hemaspaandra,et al.  A modal perspective on the computational complexity of attribute value grammar , 1993, J. Log. Lang. Inf..

[13]  Alex K. Simpson,et al.  Computational Adequacy in an Elementary Topos , 1998, CSL.

[14]  James Rogers,et al.  Studies in the logic of trees with applications to grammar formalisms , 1994 .

[15]  G. Horrocks,et al.  Information-based syntax and semantics. Volume I: Fundamentals: Carl Pollard and Ivan A. Sag, (CSLI Lecture Notes Series No. 13). Stanford, CA: Centre for the Study of Language and Information. 1987. x+233 pp. , 1990 .

[16]  Marcus Kracht.  Syntactic codes and grammar refinement , 1995 .

[17]  M. Baltin,et al.  The Mental representation of grammatical relations , 1985 .

[18]  Tanya Reinhart,et al.  Definite NP Anaphora and C. Command Domains , 1981 .

[19]  M. de Rijke,et al.  A Proof System for Finite Trees , 1995, CSL.

[20]  Geoffrey K. Pullum,et al.  A theory of command relations , 1990 .