ModLeanTAP公司

命题模态逻辑的基于表格的推理。ModLeanTAP是由Bernhard Beckert和Rajeev Goré开发的用于命题模态逻辑的模块化标记tableau演算的一个精益Prolog实现。ModLeanTAP不仅出人意料地短,而且与其他更复杂的模态推导实现相比,它更具优势。ModLeanTAP的开发灵感来自一阶逻辑leanTAP的基于lean tableau的prover。ModLeanTAP版本2.0包括额外的搜索空间限制和公平策略,为逻辑K、KD、KT和S4提供了一个决策过程


zbMATH中的参考文献(参考文献18条)

显示第1至18个结果,共18个。
按年份排序(引用)

  1. Libal,托默;Volpe,Marco:模态逻辑的一般证明框架(2019)
  2. 模态逻辑:2014年1月1日
  3. Pozzato,Gian Luca:条件与优先逻辑。证明方法和定理证明(2010年)
  4. 安东森,罗杰;瓦勒,阿里尔德:自由化变量分割(2007)
  5. 乔达诺,劳拉;格利奥齐,瓦伦蒂娜;Pozzato,Gian Luca:KLMLean 2.0:非单调推理KLM逻辑的定理证明者(2007)
  6. 福米萨诺,安德里亚;Nicolosi Asmundo,Marianna:命题非经典逻辑的有效关系演绎系统(2006)
  7. 哥兰科,V。;蒙塔纳里,A。;萨拉,P。;Sciavicco,G.:命题区间时态逻辑的一般表方法:理论与实现(2006)
  8. 奥利维蒂,尼古拉;Pozzato,Gian Luca:CondLean 3.0:改进CondLean以实现更强的条件逻辑(2005)
  9. 纳贝希马,希德托莫;岩手岛、Koji;井上,胜木:太阳能:先进推理的结果发现系统(2003)
  10. 帕特尔施耐德,P。F、 。;Sebastianin,R.:生成测试决策过程随机模态公式的新方法(2003)
  11. 阿尔伯托阿托西;圭多省州长;Rotolo,Antonino:非单调推理的标签表:累积结果关系(2002)
  12. 蒂昂,V。;塞里托S。;Cialdea Mayer,Marta:量化模态逻辑的一般定理证明者(2002)
  13. 贝克特,伯恩哈德;Goré,Rajeev:命题模态逻辑的自由变量表(2001)
  14. 霍洛克斯,伊恩;帕特尔施耐德,彼得F。;塞巴斯蒂安尼,罗伯托:模态决策程序的实证检验分析(2000)
  15. Demri,Stéphane:名词时态逻辑的顺序计算:迈向机械化的一步(1999年)
  16. 克里茨,克里斯托夫;Otten,Jens:经典与非经典逻辑中基于连接的定理证明(1999)
  17. 壁炉架,黑子;奥顿,詹斯:林塔普:线性逻辑的一个表格证明器(1999)
  18. Massacci,Fabio:多智能体分布式系统形式验证的表方法(1998)