迈克尔·卡明斯基 非单调模态逻辑的非参照语义。 (英语) Zbl 1173.03014号 安。数学。Artif公司。智力。 53,编号1-4,205-223(2008). 审核人:David Makinson(伦敦) MSC公司:03B42号 03B45号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski},Ann.数学。Artif公司。智力。53,编号1--4,205-223(2008;Zbl 1173.03014) 全文: 内政部
迈克尔·卡明斯基 非单调逻辑中开放缺省理论的解释。 (英语) Zbl 0866.03016号 安。数学。Artif公司。智力。 9,编号3-4,307-325(1993).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski},Ann.数学。Artif公司。智力。9,编号3--4,307--325(1993;Zbl 0866.03016) 全文: 内政部