铃木，Nobu-Yuki 博弈论浅层直觉认知逻辑的语义学。 （英语） Zbl 1273.91090号 经济。理论 53，第1期，85-110（2013）. 小结：浅层认识逻辑是由铃木敏子运用经典逻辑发展而来的。本文采用直觉主义逻辑作为基本逻辑，将每个参与者的推理限制为构造性推理。由此产生的逻辑系统用IG（{EF}）表示，我们引入了IG的认知可能世界语义。我们证明了IG（{EF}）在这个语义方面的可靠性和完备性。我们还展示了它在博弈论决策中的一些应用。 引用于1文件 MSC公司： 91A44型 涉及拓扑、集合论或逻辑的游戏 03B42号 知识和信念的逻辑（包括信念变化） 关键词：逻辑与博弈论;认知逻辑;直觉逻辑;克里普克类型语义 PDF格式BibTeX公司 XML格式引用 \textit{N.-Y.铃木}，经济。理论53，第1号，85--110（2013；Zbl 1273.91090） 全文： 内政部 链接 参考文献： [1] A.G.ágalin博士：数学直觉主义。证明理论导论，数学专著翻译。美国数学学会，普罗维登斯，RI（1988）·Zbl 0634.03054号 [2] 达米特，M.：直觉主义的要素。牛津逻辑指南。牛津大学克拉伦登出版社（2000）·Zbl 0949.03059号 [3] Fagin，R.，Halpern，J.Y.，Moses，Y.，Vardi，M.Y.：关于知识的推理。麻省理工学院出版社，剑桥（1995）·Zbl 0839.68095号 [4] Gentzen，G.：《Untersuchungenüber das logische Schließen，Mathematische Zeitschrift》39、176-210、405-431（1934-1935）·Zbl 0010.14501号 [5] Hughes，G.E.，Cresswell，M.J.：模态逻辑的伴侣。Routledge Kegan&Paul，伦敦（1985）·Zbl 0625.03005号 [6] Kaneko，M.，Nagashima，T.：游戏逻辑及其应用I.Studia Logica 57，325-354（1996）·Zbl 0858.03035号 ·doi:10.1007/BF00370838 [7] Kaneko，M.，Nagashima，T.：游戏逻辑及其应用II。Studia Logica《逻辑研究》58、273-303（1997）·Zbl 0871.03030号 ·doi:10.1023/A:1004975724824 [8] Kaneko，M.，Nagashima，T.，Suzuki，N.Y.，Tanaka，Y.：公共知识逻辑图。《逻辑研究》71，57-86（2002）·Zbl 1003.03013号 ·doi:10.1023/A:1016387008323 [9] Kaneko，M.：认识逻辑及其博弈论应用：导论。特殊问题逻辑。经济。经济。理论19（1），7-62（2002）·Zbl 0995.03014号 [10] Kaneko，M.，Suzuki，N.Y.：浅层认识逻辑和博弈论应用。高级模态逻辑3，279-298（2002a）·兹比尔1031.03035 ·doi:10.1142/9789812776471_0015 [11] Kaneko，M.，Suzuki，N.Y.：有限的人际推理和决策。经济。理论19，63-103（2002b）·Zbl 1002.03527号 ·doi:10.1007/s001990100203 [12] Kaneko，M.，Suzuki，N.Y.：游戏中浅层深度和决策的认识模型：园艺。J.塞姆。逻辑68，163-186（2003）·Zbl 1041.03011号 ·doi:10.2178/jsl/1045861510 [13] Kaneko，M.，Suzuki，N.Y.：浅层认知逻辑推理的内容复杂性I：一般发展。Mimeo（2005） [14] Kline，J.J.：评估认知深度以解决儿童困惑。经济。理论（将出现在本期）（2012年）·Zbl 1267.91029号 [15] Meyer，J.J.C.，van der Hoek，W.：人工智能和计算机科学的认识逻辑。剑桥大学出版社，剑桥（1995）·Zbl 0868.03001号 ·doi:10.1017/CBO9780511569852 [16] Sturm，H.、Wolter，F.、Zakharyaschev，M.：常识与量化。经济。理论19，157-186（2002）·Zbl 0994.03008号 ·doi:10.1007/s001990100201 [17] van Dalen，D.：逻辑与结构（Universitext）。施普林格，柏林（2004）·Zbl 1048.03001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。