Abstract
This paper examines the relationship between various languages of modal logic and an approach to the specification and processing of natural language grammars currently popular in computational linguistics. This approach is the use of Attribute Value formalisms, and the main aims of the paper are to show that the most common Attribute Value formalisms are nothing but languages of propositional modal logic, and to establish the basic logical theory of the languages concerned.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Bird and P. Blackburn, 1991, A Logical Approach to Arabic Phonology, in Proceedings of the 5th Conference of the European Chapter of the Association for Computational Linguistics, Berlin.
P. Blackburn, 1989, Nominal Tense Logic, to appear in Notre Dame Journal of Formal Logic.
P. Blackburn, 1990, Nominal Tense Logic and other Sorted Intensional Frameworks, PhD Thesis, Centre for Cognitive Science, University of Edinburgh, Scotland.
P. Blackburn and E. Spaan, 1992, A Modal Perspective on the Computational Complexity of Attribute Value Grammar, to appear in Journal of Logic, Language and Information.
R. Bull, 1968, An Approach to Tense Logic, Theoria, 12, pages 171–182.
J. Burgess, 1984, Basic Tense Logic, in Handbook of Philosophical Logic, volume 2, edited by D. Gabbay and F. Guenthner, Reidel.
G. Gargov, S. Passy and T. Tinchev, 1987, Modal Environment for Boolean Speculations, in Mathematical Logic and its Applications, edited by D. Skordev, Proceedings of the 1986 Godet Summer School and Conference, Bulgaria, Plenum Press.
G. Gargov and V. Goranko, 1989, Modal Logic with Names I, to appear in Journal of Philosophical Logic.
G. Gazdar and G. Pullum, 1987, A logic for Category Definition, Cognitive Science, Research Paper CSRP 072, University of Sussex, United Kingdom.
G. Gazdar, G. Pullum, R. Carpenter, E. Klein, T. Hukari and R. Levine, 1988, Category Structures, Computational Linguistics, 14, pages 1–19.
G. Hughes and M. Cresswell, 1984, A Companion to Modal Logic, Methuen & Co. Ltd., London.
M. Johnson, 1988, Attribute-Value Logic and the Theory of Grammar, CSLI Lecture Notes Series, University of Chicago Press.
L. Karttunen, 1984, Features and Values, in Proceedings of the 10th International Conference on Computational Linguistics and the 22nd Annual Meeting of the Association for Computational Linguistics, Stanford, California, pages 28–33.
R. Kasper and W. Rounds, 1986, A logical semantics for feature structures, in Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics, Columbia University, New York, pages 257–266.
B. Keller, 1991, Feature Logics, Infinitary Descriptions and The Logical Treatment of Grammar, PhD thesis, School of Cognitive and Computing Sciences, University of Sussex, United Kingdom.
M. Kracht, 1989, On the Logic of Category Definition, Cornputational Linguistics, 15, pages 111–113.
L. Moss, 1991, Completeness Theorems for Logics of Feature Structures, Indiana University Logic Group Preprint No. IULG-91–2, to appear in Proceedings of the MSRI Workshop on Logic From Computer Science, edited by Yiannis N. Moschovakis, Springer Verlag.
F. Pereira, and S. Shieber, 1984, The semantics of grammar formalisms seen as computer languages, in Proceedings of the 10th International Conference on Computational Linguistics and the 22nd Annual Meeting of the Association for Computational Linguistics, Stanford, California, pages 123–129.
C. Pollard, Forthcoming, Sorts in unification-based grammar and what they mean, to appear in Unification in Linguistic Analysis, edited by M. Pinkal and B. Gregor.
A. Prior, 1967, Past, Present and Future, Oxford University Press.
M. Reape, 1991, An Introduction to the Semantics of Unification-Based Grammar Formalisms, DYANA deliverable R3. 2. A, Centre for Cognitive Science, University of Edinburgh, Scotland.
W. Rounds and R. Kasper, 1986, A Complete Logical Calculus for Record Structures Representing Linguistic Information, in Proceedings of the 15th Annual Symposium on Logic in Computer Science, Cambridge, Massachussets.
W. Rounds and R. Kasper, 1990, The Logic of Unification in Grammar, Linguistics and Philosophy, 13, pages 33–58.
P. Ruhrberg, 1991, Semantic Considerations for Constraint Based Grammar Formalisms, Thesis, University of Bielefeld, Germany.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Blackburn, P. (1993). Modal Logic and Attribute Value Structures. In: de Rijke, M. (eds) Diamonds and Defaults. Synthese Library, vol 229. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8242-1_2
Download citation
DOI: https://doi.org/10.1007/978-94-015-8242-1_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4286-6
Online ISBN: 978-94-015-8242-1
eBook Packages: Springer Book Archive