瓦伦丁·谢特曼 用密度公理讨论某些模态谓词逻辑的Kripke完备性。 （英语） Zbl 1418.03102号 Bezhanishvili，Guram（编辑）等人，《模态逻辑的进展》。第12卷。2018年8月27日至31日，瑞士伯尔尼，第12届会议记录（AiML 2018）。伦敦：学院出版物。559-575 (2018). 摘要：我们证明了一些正规模态谓词逻辑在标准Kripke语义中具有扩展域的完备性。我们考虑带有密度公理和其他公理（及物性、合流性）的命题逻辑的量化版本。证明方法通过以下方式修改了为其他情况开发的技术（无密度）S.吉拉尔迪[J.Symb.Log.56，No.2，517–538（1991；Zbl 0745.03020号)],G.科尔西【圣母院J.形式逻辑34，第2期，263-283（1993；Zbl 0847.03011号)]和D.斯科沃尔佐夫【《研究日志》第81卷第2期，第261–282页（2005年；Zbl 1092.03013号)]; 但现在我们以游戏理论的方式安排整个建筑。关于整个系列，请参见[Zbl 1398.03005号]。 引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B10号机组 经典一阶逻辑 关键词：模态谓词逻辑;克里普克语义学;克里普克完备性;典型模型;模型构建游戏;密度公理 引文：Zbl 0745.03020号;Zbl 0847.03011号;Zbl 1092.03013号 PDF格式BibTeX公司 XML格式引用 \textit｛V.Shehtman｝，in：模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。559-575（2018；Zbl 1418.03102）