利恩

系统描述:LIANK 2。LIANK是一个“精益”,即,非常紧凑,Prolog实现的命题模态逻辑的自由变量TabLuu演算。LIANK 2包括额外的搜索空间限制和公平策略,给出逻辑k、kt和s4的决策过程。

ZBMaCT中的参考文献(1篇文章中提到)

显示1的结果1。
按年份排序(引文

  1. Nalon,Cluuudia.帕丁森,Dirk:一个基于优先逻辑的解析演算(2018)