帕特里克·布莱克本;威尔弗里德·迈耶·维奥 语言学、逻辑和有限树。 （英语） Zbl 0810.03022号 牛市。IGPL公司 2，第1期，3-29页（1994年）. 概要：开发了一种模态逻辑来处理计算语言学中使用的有限序二叉树。介绍了一种情态语言，其中包含“母亲”、“第一女儿”和“第二女儿”关系的运算符及其传递性自反闭包。定义了相关的树模型类，并讨论了该语言的三种语言应用：上下文无关文法、命令关系和用特征结构修饰的树。给出了一个公理证明系统，证明了该系统对于有限序二叉树类的完备性。以下是一些可判定性结果。 引用于9文件 MSC公司： 03B65号 自然语言逻辑 03B45号 模态逻辑（包括规范逻辑） 68T50型 自然语言处理 关键词：纤维语义;模态逻辑;有限序二叉树;上下文无关文法;指挥关系;特征结构;公理证明系统;可判定性 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}和\textit{W.Meyer-Viol}，公牛。IGPL 2，No.1，3--29（1994；Zbl 0810.03022） 全文： DOI程序 链接