模特儿

MODLANTAP:基于命题精简逻辑的命题模态逻辑推导。MODLANTAP是一种用于命题模态逻辑(标签包含自由和通用变量)的模块化标记表演算的精益Prolog实现,这是由Bernhard Beckert和Rajeav-Gor等人开发的。MODLANTAP不仅出人意料地短,而且与其他更为复杂的模态演绎实现相媲美。ModLeanTAP的发展灵感来自一阶逻辑LeTANAP精益表为基础的证明器。MODLANTAP版本2包括额外的搜索空间限制和公平策略,给出逻辑k、kd、kt和s4的决策过程。


ZBMaCT中的参考文献(18篇文章中引用)

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

  1. Libal,Timer-Valpe,马珂:模态逻辑的通用证明框架(2019)
  2. Otten,Jens:MleanCoP:一阶模态逻辑的连接证明器(2014)
  3. Pozzato,Gian Luca:条件逻辑和优先逻辑。证明方法和定理证明。(2010)
  4. 安东森,罗杰;瓦勒,阿里尔德:自由化变量分裂(2007)
  5. 佐丹奴,劳拉;Gliozzi,瓦伦蒂娜;PoZato,Gian Luca:KLMLIM 2:非单调推理KLM逻辑的定理证明器(2007)
  6. FrimiSo,安德列;Nicolosi Asmundo,玛丽安娜:命题非经典逻辑的有效关系演绎系统(2006)
  7. Goranko,V.M.T.A. Sala,P.S.CavaCo,G.:命题区间时态逻辑的一般表格式方法:理论与实现(2006)
  8. 奥利维提,尼古拉;波扎托,Gian Luca:康德莱斯3:改进康德莱斯更强的条件逻辑(2005)
  9. 岩沼,Koji,Inoue,Katsumi:太阳:高级推理的结果发现系统(2003)
  10. Patel Schneider,P. F.;Sebastiani,R:一种新的通用随机决策公式生成方法(2003)
  11. 阿托西、阿尔伯托、州长、圭多、罗托洛、安东尼诺:非单调推理的标记表:累积后果关系(2002)
  12. 塞里托,S;Cialdea Mayer,马尔塔:量化模态逻辑的一般定理证明器(2002)
  13. 伯恩哈德,Gror,Rajee:命题模态逻辑的自由变量表(2001)
  14. Horrocks,伊恩;Patel Schneider,Peter F.;Sebastiani,罗伯托:模态决策过程的经验检验分析(2000)
  15. Demri,StEpPHAN:名义紧张逻辑的逐步计算:迈向机械化的一步?(1999)
  16. Kreitz,克里斯托夫;Otten,Jens:经典和非经典逻辑中基于连接的定理证明(1999)
  17. 曼特尔,Heiko;Otten,Jens:林塔普:线性逻辑的图表证明器(1999)
  18. MasaCi,法比奥:多Agent分布式系统形式化验证的TabLeU方法(1998)