Patrick Blackburn and Edith Spaan. Decidability and undecidability in stand-alone feature logics. In Proceedings of the 6 th Conference of the EACL, 1993.  Home/Search   Document Details and Download   Summary   Related Articles

.... the current developments) I became interested in attribute value logic through [ Gazdar et al. 1988 ] Kracht, 1989 ] was intended more or less as a technical note proving a theorem about the logic of category structures alias attribute value matrices (avms henceforth) This was taken up in [ Blackburn, 1993 ] and developed. Others have also found uses of modal logic in that area, and the subject itself has gained some territory in the reserach on feature structures. However, as much as I am sympathetic to this development, it has remained unclear to me what significant new insights the use of modal ....

....whole be self contained. But this is really not to say much when it come to mathematical topics. The reader who is seriously interested should perhaps read an introductory book on modal logic and the lucid survey article [ Bull and Segerberg, 1984 ] to get enough background. I can also recommend [ Blackburn, 1993 ] as an introduction into modal logic in connection with avms. It is impossible to go through all technical proofs in great detail; this would be tantamount to writing a book on this topic. But, I hope, the line of argumentation can be understood even without a proper understanding of the ....

[Article contains additional citation context not shown here]

Patrick Blackburn and Edith Spaan. Decidability and undecidability in stand-alone feature logics. In Proceedings of the 6 th Conference of the EACL, 1993.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC