摘要

开发了一种模态逻辑来处理计算语言学中使用的有限序二叉树。介绍了一种情态语言,其中包含“母亲”、“第一女儿”和“第二女儿”关系的运算符及其传递性自反闭包。定义了相关的树模型类,并讨论了该语言的三种语言应用:上下文无关文法、命令关系和用特征结构修饰的树。给出了一个公理证明系统,证明了该系统对于有限序二叉树类的完备性。以下是一些可判定性结果。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。