约翰·格兰特 测量一些分支时间逻辑中的不一致性。 (英文) Zbl 1515.03083号 J.应用。非类别。日志。 31,编号2,85-107(2021).MSC公司:03B44号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant},J.Appl。非类别。日志。31,编号2,85-107(2021;Zbl 1515.03083) 全文: 内政部
安德烈亚·福米萨诺;Marianna尼科洛西·阿斯蒙多 命题非经典逻辑的有效关系演绎系统。 (英文) Zbl 1186.03044号 J.应用。非类别。日志。 16,第3-4367-408号(2006).MSC公司:03B45号 03B35型 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Formisano}和\textit{M.Nicolosi-Asmundo},J.Appl。非类别。日志。16,编号:3-4367-408(2006年;Zbl 1186.03044) 全文: 内政部