摘要：针对可抵触推理，给出了一个基于模型论的语义学解释，证明了其逻辑的良好性质，并简要介绍了该方法在各种可抵触逻辑中的扩展。
作者：Michael J. Maher (Loyola University, Chicago)
论文ID：cs/0207086
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中