×

ModLeanTAP模式

swMATH编号： 12368
软件作者： 贝恩哈德·贝克特；拉杰夫·戈尔
描述： ModLeanTAP：命题模态逻辑的基于精益表的演绎。ModLeanTAP是由Bernhard Beckert和Rajeev Goré开发的用于命题模态逻辑（其中标签包含自由和通用变量）的模块化标签表演算的精益Prolog实现。ModLeanTAP不仅出乎意料地短，而且与其他相当复杂的模式推导实现相比，它更具优势。ModLeanTAP的开发受到一阶逻辑leanTAP基于精益表格的证明程序的启发。ModLeanTAP 2.0版包括额外的搜索空间限制和公平策略，为逻辑K、KD、KT和S4提供了决策程序
主页： http://formal.iti.kit.edu/beckert/modlean/
关键词： 自动还原;自由变量表;定理证明;命题模态逻辑
相关软件： 精益TAP;Coq公司;MSPASS公司;KLMLean公司;康德莱恩;SETHEO公司;自动化;伊莎贝尔;MleanCoP公司;质量管理长期计划;伊朗CoP;精益CoP;水獭;太阳能;SICStus公司;RALL公司;ARA公司;LoTREC公司;重新查看;GQML公司
引用于： 19文件
全部的 前5名

33位作者引用

三 延斯·奥滕
三 吉安·卢卡（Gian Luca），披萨
2 托梅尔·利巴尔
2 彼得·施奈德（Peter F.Patel-Schneider）。
2 罗伯托·塞巴斯蒂亚尼
2 马尔科·沃尔佩
1 罗杰·安东森
1 阿尔贝托·阿托西
1 伯恩哈德·贝克特
1 塞里托、塞雷内拉
1 玛尔塔·恰尔迪亚·梅耶
1 Stéphane P.德姆里。
1 安德烈亚·福米萨诺
1 劳拉·佐丹奴
1 瓦伦蒂娜·格里奥齐
1 瓦伦丁·F·戈兰科。
1 拉杰夫·普拉巴卡尔·戈尔
1 圭多州长
1 伊恩·霍洛克斯
1 井上，胜美
1 井沼，Koji
1 克里斯托夫·克里茨
1 海科·曼特尔
1 法比奥·马萨奇
1 安吉洛·蒙塔纳里
1 希德托莫·纳贝希玛
1 玛丽安娜·尼科洛西·阿斯蒙多
1 尼古拉·奥利维蒂
1 安东尼诺·罗托洛
1 皮埃特罗·萨拉
1 圭多·西亚维科
1 弗吉尼亚州蒂恩
1 阿里德·瓦勒尔
全部的 前5名

10篇连载文章中引用

2 逻辑与计算杂志
1 Studia Logica公司
1 自动推理杂志
1 MSCS公司。计算机科学中的数学结构
1 应用非经典逻辑杂志
1 人工智能研究杂志
1 IGPL逻辑杂志
1 通用计算机科学杂志
1 应用逻辑杂志
1 人工智能和应用的前沿

在2个字段中引用

16 计算机科学（68至XX）
14 数理逻辑与基础（03-XX）

按年份列出的引文