摘要：非正常模态logics中的非正常模态描述逻辑框架及其满足性检测算法的可拓展性和有效性研究
作者：Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
论文ID：2307.12265
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-25
PDF 下载： 英文版 中文版pdf翻译中