Modal logic and attribute value structures (1992) [30 citations — 8 self]
Download:
|
|
by Patrick Blackburn, L
University of Amsterdam, ITLI
http://turing.wins.uva.nl/~carlos/hybrid/Papers/attribute.ps.Z
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Blackburn92modallogic,author = {Patrick Blackburn and L},
title = {Modal logic and attribute value structures},
booktitle = {University of Amsterdam, ITLI},
year = {1992},
pages = {pages},
publisher = {Kluwer}
}
Years of Citing Articles
Abstract:
This paper shows that there is a close correspondence between propositional modal logic and the AV formalisms of computational linguistics. A particularly important aspect of this relationship is that uni cation can be seen as testing for modal satisability. The paper considers three modal languages | L, L N
