Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
R. Backofen, J. Rogers, and K. Vijay-Shanker. A first-order axiomatization of the theory of finite trees. Journal of Logic, Language and Information, 4:5–39, 1995.
C. Barker and G. Pullum. A theory of command relations. Linguistics and Philosophy, 13:1–34, 1990.
J. van Benthem and W. Meyer-Viol. Logical Semantics of Programming. Manuscript. Forthcoming.
R Blackburn, W. Meyer-Viol, and M. de Rijke. A proof system for finite trees. In H. Kleine Büning, editor, Computer Science Logic. 9th International Workshop, CSL ’95. Annual Conference of the EACSL, Paderborn, Germany, September 1995. Selected Papers., pages 86–105. Lecture Notes in Computer Science 1092, Springer, 1996.
R Blackburn, C. Gardent, and W. Meyer-Viol. Talking about trees. In Proceedings of the 6th Conference of the European Chapter of the Association for Computational Linguistics, pages 21–29, 1993.
R Blackburn and E. Spaan. A modal perspective on the computational complexity of attribute value grammar. Journal of Logic, Language and Information, 2:129–169, 1993.
B. Carpenter. The Logic of Typed Feature Structures. Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
N. Chomsky. Lecture on Goverment and Binding. Foris, Dordrecht, 1981.
R. Evans. Towards a formal specification for defaults in GPSG. In Categories, Polymorphism and Unification. Centre for Cognitive Science/TLI, Edinburgh/Amsterdam, 1987.
M. Finger and D.M. Gabbay. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 1:203–233, 1992.
M. Fischer and R. Ladner. Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18:194–211, 1979.
G. Gazdar, E. Klein, G. Pullum, and I. Sag. Generalised Phrase Structure Grammar. Basil Blackwell, 1985.
R. Goldblatt. Logics of Time and Computation, volume 7 of Lecture Notes. CSLI Publications, Stanford, 1987.
R. Kaplan and J. Bresnan. Lexical-functional grammar: a formal system for grammatical representation. In J. Bresnan, editor, The Mental Representation of Grammatical Relations, pages 173–281. MIT Press, 1982.
M. Kracht. Mathematical aspects of command relations. In Proceedings of the 6th Conference of the European Chapter of the Association for Computational Linguistics, pages 40–249, 1993.
M. Kracht. Syntactic codes and grammar refinement. Journal of Logic, Language and Information, 4:41–60, 1995.
J. McCawley. Concerning the base component of transformational grammar. Foundations of Language, 4:55–81, 1968.
C. Pollard and I. Sag. Information-Based Syntax and Semantics: Volume I, Fundamentals. CSLI Publications, 1987.
T. Reinhart. Definite np-anaphora and c-command domains. Linguistic Inquiry, 12:605–635, 1981.
J. Rogers. Studies in the Logic of Trees with Applications to Grammar Formalisms. PhD thesis, University of Delaware, 1994. To appear in Studies in Logic, Language and Information, CSLI Publications.
J. Rogers and K. Vijay-Shankar. Reasoning with descriptions of trees. In Proceedings of the 25th Annual Meeting of the Association for Computational Linguistics, pages 2–80, 1992.
K. Vijay-Shankar. Using descriptions of trees in a tree adjoining grammar. Computational Linguistics, 18:481–517, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Blackburn, P., Meyer-Viol, W. (1997). Modal Logic and Model-Theoretic Syntax. In: de Rijke, M. (eds) Advances in Intensional Logic. Applied Logic Series, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8879-9_2
Download citation
DOI: https://doi.org/10.1007/978-94-015-8879-9_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4897-4
Online ISBN: 978-94-015-8879-9
eBook Packages: Springer Book Archive