Copyright © 2020-2023 www.SOT9.com. All Rights Reserved .
合作联系: QQ: 3217490875
MOLLE是模态逻辑发疯的评估程序。
MOLLE系统是一个跨平台的证明者用Java编写的,实现了Tableaux算法的K模态逻辑。南莫尔是能够生成例如和反模型,证明的神器出山:www.shenqi73.com有效性的模态方程式。
框架属性可以选择:自反财产已实施至今,和更多的属性将在短期内。我们的目标是让所有的模态逻辑为证明。
南莫尔拥有一个非常实用的图形界面和简单的公式语法。没有学习曲线,,南莫尔是非常适合为模态逻辑的教学和实践。