Modal logic and attribute value structures
| Author(s) : | Patrick Blackburn L, |
| Publisher : | N/A |
| Publication Date : | 1992 |
| ISSN : | N/A |
| 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, |