摘要：【标题】引入新颖的反证逻辑作为超强内部模态逻辑的替代方案
作者：Atefeh Rohani and Thomas Studer
论文ID：2108.04486
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-14
PDF 下载： 英文版 中文版pdf翻译中