洛特雷克

逻辑表研究工程伙伴。本文描述了一个通用的tableaux系统,用于建立模型或反模型,并在模态逻辑和描述逻辑中检验公式的可满足性。这个系统被称为LoTREC2.0,它的特点是一种高级的tableau规则和策略语言。它旨在涵盖所有基于Kripke语义的逻辑。它是用Java实现的,具有用户友好的图形界面。它可以作为一个学习系统来学习可能的世界语义和基于表格的证明方法。


参考文献中的数学27条)

显示第1到第20个结果,共27个。
按年份排序(引用)
  1. 阿尔维亚诺,马里奥;巴萨基斯,索蒂里斯;Baryannis,George:模态逻辑S5在答案集编程中的可满足性(2021)
  2. 穆尼奥斯·贝拉斯科,埃米利奥;佩莱格林,梅赛德斯;萨拉,皮埃特罗;西亚维科,吉多;Stan,Ionel Eduard:论粗糙区间时间逻辑(2019)
  3. 纳隆,克劳迪亚;帕丁森,德克:基于解析的优先逻辑演算(2018)
  4. 法拉利,毛罗;佛罗伦萨,卡米洛;Fiorino,Guido:JTabWb:实现终止序列和表计算的Java框架(2017)
  5. Dyckhoff,Roy:Gentzen以来的直觉决策程序(2016)
  6. 佐哈尔,尤尼;Zamansky,Anna:Gen2sat:分析纯序列计算中确定可导性的自动化工具(2016)
  7. 法里尼亚斯德尔塞罗,路易斯;赫齐格,安德烈亚斯;Su,Ezgi Iraz:在模态逻辑中捕捉平衡模型(2014)
  8. 加斯奎特,奥利弗;赫齐格,安德烈亚斯;比拉尔说;施瓦岑特鲁伯,弗朗索瓦:克里普克的世界。模态逻辑导论(2014)
  9. 戴维德,布雷索林;黛拉·莫妮卡,达里奥;蒙塔纳里,安杰洛;Sciavicco,Guido:有限线性阶上右命题邻域逻辑的一个tableau系统:一个实现(2013)
  10. 布罗森,一月;克兰菲尔德,斯蒂芬;埃尔拉凯比,叶海亚;加贝,Dov;格罗西,戴维德;洛里尼,埃米利亚诺;家长,泽维尔;范德托瑞,利安德特W.N。;图姆莫利尼,卢卡;图里尼,保罗;Schwarzentruber,François:规范推理和结果(2013)
  11. 戈林斯卡·皮拉雷克,乔安娜;穆尼奥斯·贝拉斯科,埃米利奥;Mora Bonilla,Angel:模态逻辑K的关系双表决策过程(2012)
  12. 欧谢尔,纪尧姆;莫伯特,巴斯蒂安;Schwarzentruber,François:Tableau方法和DEL序列的下一次完全性(2011)
  13. 莫拉,A。;穆尼奥斯·贝拉斯科,E。;Golinska Pilarek,J.:实现模态逻辑K的关系定理证明器(2011)
  14. 施密特,雷诺A。;Tishkovsky,Dmitry:tableau calculi的自动合成(2011)
  15. 施瓦森特鲁伯,弗朗索瓦:Lotrescheme(2011)
  16. 蒂什科夫斯基,德米特里;施密特,雷诺A。;霍达达迪,穆罕默德:\ textscmetel:一个具有逻辑独立推理引擎的tableau prover(2011)
  17. 巴拉尔,C。;盖尔方德。;庞泰利,E。;Son,T.:在知识逻辑中寻找模型的逻辑程序设计及其应用:案例研究(2010)
  18. 戴维德,布雷索林;哥兰科,瓦伦丁;蒙塔纳里,安杰洛;Sala,Pietro:稠密序上子区间结构的逻辑表(2010)
  19. 格瓦肯霍特;范德法特,埃尔斯克;Verbrugge,Rineke:OOPS:an(S5_n)教育设置的验证程序(2010)ioport公司
  20. 阿巴特,皮埃特罗;Goré,Rajeev:Tableau工作台(2009)