尼古拉斯·克莱博特 一阶对话游戏和画面。 （英语） Zbl 1343.03004号 J.菲洛斯。日志。 43，第4期，785-801（2014）. 摘要：我们提出了一个关于经典一阶逻辑中对话游戏的tableaux的稳健性/完备性的新证明。据我们所知，这是对话游戏的第一个彻底结果，其中游戏的有限性是通过我们所称的重复等级来保证的。 引用于1审查引用于8文件 理学硕士： 03A05号 逻辑和基础的哲学和批判性方面 91A05型 2人游戏 03B10号机组 经典一阶逻辑 关键词：对话语义学;表格;有限对话;经典逻辑 PDF格式BibTeX公司 XML格式引用 \textit{N.Clerbout}，J.Philos。日志。43，第4号，785--801（2014；Zbl 1343.03004） 全文： 内政部 参考文献： [1] Felscher，W.（1985）。对话、策略和直觉证明。《纯粹逻辑与应用逻辑年鉴》，第28期，第217-254页·Zbl 0571.03029号 ·doi:10.1016/0168-0072（85）90016-8 [2] Felscher，W。；Gabbay，D.（编辑）；Guenthner，F.（编辑），《对话作为直觉主义逻辑的基础》，341-372（1985），多德雷赫特/辛厄姆·Zbl 0875.03019号 [3] Fitting，M.（1990）。一阶逻辑和自动定理证明，1996年第二版。纽约：施普林格出版社·Zbl 0692.68002号 ·doi:10.1007/978-1-4684-0357-2 [4] 加尔，D。；F.斯图尔特。；Kuhn，HW（编辑）；AW塔克（编辑），《完美信息的无限游戏》，245-266（1953），普林斯顿·Zbl 0050.14305号 [5] 克拉布，E.C.（1985年）。正式的对话系统。合成，63295-328·doi:10.1007/BF00485598 [6] Letz，R。；D’Agostino，M.（编辑）；Gabbay，D.（编辑）；Hähnle，R.（编辑）；Posegga，J.（编辑），一阶表方法，125-196（1998），多德雷赫特·Zbl 0972.03524号 [7] Lorenz，K.（1968年）。对话语言als semantische Grundlage von Logikkalkülen。Archive für mathematische Logik und Grundlagenforschung，11、32-55和73-100。重印于[9]·Zbl 0179.01302号 [8] Lorenz，K.（2001）。历史视角下对话逻辑的基本目标。合成，127255-263·Zbl 0980.03031号 ·doi:10.1023/A:1010367416884 [9] Lorenzen，P.和Lorenz，K.（1978年）。Dialogische Logik。Wissenschaftliche Buchgesellschaft：达姆施塔特·Zbl 0435.03011号 [10] 拉赫曼，S。；Clerbout，N。；Keiff，L。；Primiero，G.（编辑）；Rahman，S.（编辑），《对话与自然演绎》，301-336（2009），伦敦·Zbl 1245.03092号 [11] 拉赫曼，S。；Keiff，L。；Vanderveken，D.（编辑），《如何成为对话者》，359-408（2005），纽约·Zbl 1081.03010号 ·doi:10.1007/1-4020-3167-X_17 [12] Smullyan，R.（1968年）。一阶逻辑。纽约：施普林格出版社·Zbl 0172.28901号 ·doi:10.1007/978-3-642-86718-7 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。