符号逻辑述评为符号逻辑协会出版 简短标题： 版本符号。日志。 出版商： 剑桥大学出版社 国际标准编号： 1755-0203; 1755-0211/年 在线： https://www.cambridge.org/core/journals/review-of-symbolic-logic/all-issues（https://www.cambridge.org/core/journals/review-of-symbolic-logic/all-issues） 评论： 期刊；索引封面到封面 编入索引的文档： 558出版物（自2008年起） 索引的引用： 548出版物参考文献17024。 全部的 前5名最新问题 17，编号1（2024） 16，编号4（2023） 16，编号3（2023） 16，编号2（2023） 16，编号1（2023） 15，编号4（2022） 15，编号3（2022） 15，编号2（2022） 15，编号1（2022） 14，编号4（2021） 14，编号3（2021） 14，编号2（2021） 14，编号1（2021） 13，第4期（2020年） 13，第3期（2020年） 13，第2期（2020年） 13，第1期（2020年） 12，第4号（2019） 12，第3号（2019） 12，第2号（2019） 122019年第1期 11，第4号（2018） 11，第3号（2018） 11，第2号（2018） 112018年第1期 102017年第4号 102017年第3号 102017年第2期 10，第1号（2017） 92016年第4号 92016年第3号 92016年第2期 92016年第1期 82015年第4号 82015年第3期 82015年第2期 82015年第1期 72014年第4号 72014年第3期 72014年第2期 72014年第1期 62013年第4号 6，第3号（2013年） 62013年第2期 62013年第1期 52012年第4号 52012年第3号 52012年第2期 52012年第1期 42011年第4号 42011年第3期 42011年第2期 42011年第1期 三2010年第4期 三2010年第3期 三2010年第2期 三2010年第1期 22009年第4期 22009年第3期 22009年第2期 2，第1号（2009年） 12008年第4号 12008年第3号 12008年第2期 1，第1号（2008年） 全部的 前5名作者 9 斯图尔特·夏皮罗 7 古拉姆·贝扎尼什维利 7 Joseph Yehuda Halpern 7 阿尔伯特·维瑟 6 尼克·贝扎尼什维利 6 哈特里·菲尔德。 6 彼得·弗里茨 6 尼尔·坦南特。 5 马丁·菲舍尔 5 汉内斯·莱特盖布 5 林内波，Ø伊斯坦 4 杰里米·阿维加德 4 弗朗西斯科·贝尔托 4 很好，Kit 4 尼西姆·弗朗西兹 4 Dov M.加巴伊。 4 诺伯特·格拉茨 4 沃尔克·哈尔巴赫 4 菲利普·克莱默 4 保罗·曼科苏 4 托比·梅多斯 4 托马索·莫拉希尼 4 格雷厄姆牧师 4 戴维·里普利 4 约翰·斯特恩 4 汉斯·皮特·范·迪特马什 4 肖恩·沃尔什 4 海因里希·西奥多 4 扎克·韦伯 4 理查德·扎克 三 吉列尔莫·巴迪亚 三 比尔，Jc 三 沃尔特·亚历山大·卡尼埃利 三 彼得·辛图拉 三 马塞洛·埃斯特班（Marcelo Esteban Coniglio） 三 沃尔特·迪安 三 保罗·埃格里 三 所罗门·费弗曼 三 雅辛·哈马米 三 杰弗里·赫尔曼 三 伊恩·马丁·霍德金森 三 莱昂·霍斯顿 三 卢卡·因科瓦蒂 三 安妮卡·坎科斯 三 巴特尔·皮特·库伊 三 Kurahashi、Taishi 三 格雷厄姆·埃米尔·利 三 Łełyk，马特乌斯·兹比格尼尤 三 利奥，乔普 三 罗杰·马杜克斯。 三 Rebecca Lea莫里斯 三 劳伦斯·莫斯。 三 卡洛·尼古莱 三 格里戈里·奥尔霍维科夫。 三 艾比克·厄兹根 三 布莱恩·雷恩 三 格雷格·雷斯塔尔 三 萨姆·罗伯茨 三 卡尔·施莱赫塔 三 安德烈·索比 三 肖恩·斯坦德弗 三 谢凯利（Székely，Gergely） 三 王燕京 三 巴托斯·Wcisło 三 威廉姆斯，J.Robert G。 2 雅各布阿米迪 2 吉安·阿尔多·安东内利 2 谢尔盖·阿特莫夫 2 安德鲁·培根 2 福斯托·巴贝罗 2 爱德华多·亚历杭德罗·巴里奥 2 尼尔·巴顿 2 Hanoch Ben-Yami 2 伊桑·布劳尔 2 迈克尔·凯 2 马西米利亚诺·卡拉拉 2 伊曼纽尔·切姆拉 2 塞萨里奇什林斯基 2 罗伊·T·库克。 2 Fabrice科雷亚 2 科特诺尔（Aaron J.Cotnoir）。 2 伊戈尔·杜文 2 埃贝尔斯·杜根（Ebels-Duggan），肖恩·C。 2 安德烈亚斯·费尔斯塔德 2 法语、罗汉语 2 大卫·加伯里亚 2 哈伊姆·盖夫曼 2 大卫·罗伯特·吉尔伯特 2 亚历山德罗·佐丹尼 2 帕特里克·R·吉拉德。 2 罗伯特·伊恩·戈德布拉特 2 巴尔塔萨尔·格拉马耶 2 吉安卢卡·格里莱蒂 2 Gruszczyński，拉法 2 盖尼斯·扎兰 2 彼得·哈耶克 2 乔尔·戴维·哈姆金斯 2 罗宾·赫希 2 威尔弗里德·霍奇斯 2 劳埃德·亨伯斯通 …还有469名作者 全部的 前5名领域 542 数学逻辑和基础（03-XX） 52 总体主题；集合（00-XX） 41 历史和传记（01-XX） 23 计算机科学（68至XX） 18 概率论与随机过程（60-XX） 13 阶、格、有序代数结构（06-XX） 13 范畴理论；同调代数（18-XX） 11 博弈论、经济学、金融和其他社会和行为科学（91-XX） 9 一般拓扑结构（54至XX） 7 统计学（62-XX） 6 几何图形（51至XX） 三 一般代数系统（08-XX） 三 群论与推广（20-XX） 三 量子理论（81-XX） 2 数论（11-XX） 2 场论和多项式（12-XX） 2 测量和集成（28-XX） 2 代数拓扑（55-XX） 2 相对论和引力理论（83至XX） 2 信息与通信理论、电路（94-XX） 1 代数几何（14-XX） 1 动力系统和遍历理论（37-XX） 1 功能分析（46倍X倍） 1 凸和离散几何（52至XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 404出版物被引用2562中的次1747文件 引用人▼ 年份▼ 辩护的逻辑。 Zbl 1205.03027号 谢尔盖·阿特莫夫 75 2008 用透明的真理保守地扩展经典逻辑。 Zbl 1248.03012号 戴维·里普利 64 2012 欧几里得元素的形式系统。 Zbl 1188.03008号 杰里米·阿维加德;爱德华·迪安;约翰·穆玛 47 2009 集合理论多元宇宙。 Zbl 1260.03103号 乔尔·戴维·哈姆金斯 46 2012 地的纯粹逻辑。 Zbl 1250.03010号 很好，Kit 43 2012 “Knowable”是指“发布公告后才知道”。 Zbl 1208.03019号 菲利普·巴尔比亚尼;亚历山大·巴尔塔格;汉斯·范·迪特马什;安德烈亚斯·赫齐格;丰弘Hoshi;蒂亚戈，德利马 42 2008 没有矛盾的真理。 Zbl 1252.03018号 埃莉亚·扎迪尼 41 2011 应急和是否知道。 Zbl 1375.03023号 范洁;王燕京;汉斯·范·迪特马什 37 2015 “因为”的逻辑。 Zbl 1253.03020号 本杰明·施奈德 35 2011 次协调集理论中的超有限数。 兹比尔1197.03026 扎克·韦伯 33 2010 逻辑依据。 Zbl 1344.03005号 Fabrice科雷亚 32 2014 模态逻辑S5的无割简单序列演算。 Zbl 1204.03024号 弗朗西丝卡·波乔列西 31 2008 集合的潜在层次结构。 Zbl 1283.03085号 林内波，Ø伊斯坦 30 2013 箭头更新逻辑。 Zbl 1252.03034号 巴特尔·库伊;布莱恩·雷恩 30 2011 多结论LP和默认经典性。 Zbl 1252.03008号 比尔，Jc 28 2011 存在图作为逻辑分析的工具。一： 阿尔法。 Zbl 1381.03003号 弗朗西斯科·贝鲁奇;阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen） 26 2016 关系三段论的逻辑。 Zbl 1189.03014号 Pratt Hartmann，伊恩;劳伦斯·莫斯。 25 2009 通过对悖论逻辑扩展的对应实现完整性。 Zbl 1270.03045号 巴特尔·库伊;阿拉德塔明加 23 2012 多值模态逻辑：一种简单的方法。 Zbl 1206.03022号 格雷厄姆牧师 21 2008 逻辑上的多元主义。 邮编：1184.03004 哈特里·菲尔德 21 2009 直觉认识逻辑。 Zbl 1408.03004号 谢尔盖·阿特莫夫;都铎，普罗托波佩斯库 21 2016 关于事实对等的逻辑。 Zbl 1386.03027号 Fabrice科雷亚 19 2016 次协调集理论中的超有限基数。 兹比尔1262.03109 扎克·韦伯 19 2012 悖论逻辑二元扩展的自动对应分析。 Zbl 1387.03009号 雅罗斯拉夫·佩特鲁钦;瓦西里·沙金 18 2017 森田等值。 Zbl 1397.03017号 托马斯·威廉·巴雷特;汉斯·哈沃森 18 2016 根据信念定义知识：模态逻辑视角。 Zbl 1186.03030号 约瑟夫·哈尔彭。;Dov萨梅特;埃拉·塞格夫 17 2009 规范公式的代数方法：直觉主义案例。 Zbl 1183.03065号 古拉姆·贝扎尼什维利;尼克·贝扎尼什维利 17 2009 反事实的概率语义学。A部分。 Zbl 1253.03009号 汉内斯·莱特盖布 17 2012 量子团队逻辑和贝尔不等式。 Zbl 1371.03098号 塔帕尼·海蒂宁;Gianluca Paolini;Väänänen，佐科 17 2015 终极真理相对于稳定真理。 Zbl 1204.03016号 P.D.韦尔奇。 16 2008 测量自然数无限集合的大小：康托的无限数理论是否不可避免？ Zbl 1204.03003号 保罗·曼科苏 16 2009 公理化真理的语义理论？ Zbl 1350.03009号 马丁·菲舍尔;沃尔克·哈尔巴赫;Jönne Kriener;约翰·斯特恩 16 2015 算术中的自我引用。一、。 兹比尔1337.03008 沃尔克·哈尔巴赫;阿尔伯特·维瑟 16 2014 意识的量化逻辑和不可能的可能世界。 Zbl 1205.03016号 贾科莫·西拉里 15 2008 天真的真理和天真的逻辑属性。 Zbl 1345.03014号 埃莉亚·扎迪尼 15 2014 关于Nelson逻辑的反经典变体4号机组及其经典扩展。 Zbl 1477.03095号 大森，Hitoshi;海因里希·瓦辛 14 2018 将成分还原为非引用真理。 Zbl 1188.03004号 沃尔克·哈尔巴赫 14 2009 对于任何稠密的度量空间，S4的强完备性。 Zbl 1326.03025号 菲利普·克莱默 14 2013 切入核心逻辑。 Zbl 1256.03059号 尼尔·坦南特 14 2012 关于平面几何和立体几何之间的关系。 Zbl 1242.51001号 安德鲁·阿拉纳;保罗·曼科苏 14 2012 O是不够的。 Zbl 1175.03017号 巴黎，J.B。;R·西蒙兹。 14 2009 确定性和真理的公理。 Zbl 1204.03007号 所罗门·费弗曼 13 2008 瞬时邻域逻辑。 Zbl 1417.03162号 约翰·范·本特姆;尼克·贝扎尼什维利;塞巴斯蒂安·恩奎斯特;于俊华 13 2017 拓扑与模态：一阶模态逻辑的拓扑解释。 Zbl 1204.03023号 史蒂夫·阿沃迪;Kohei的Kishida 12 2008 以子结构手段为特征的完全经典真理理论。 Zbl 1476.03028号 费德里科·马蒂亚斯·佩洛斯 12 2020 非结合子结构逻辑及其双线性扩展：公理化和完备性性质。 Zbl 1335.03023号 彼得·辛图拉;罗斯蒂斯拉夫·霍奇克;卡莱斯·诺格拉 12 2013 算术中的自我引用。二、。 Zbl 1337.03009号 沃尔克·哈尔巴赫;阿尔伯特·维瑟 12 2014 在松软的地面上。 Zbl 1339.03006号 路易斯·德罗塞特 12 2014 天真的真理和有限的量化：更好地保存真理。 Zbl 1329.03015号 哈特里·菲尔德 12 2014 Suszko的问题：混合结果和组合。 Zbl 07171844号 伊曼纽尔·切姆拉;保罗·埃格里 12 2019 关于组合真谓词的有界归纳法的注释。 Zbl 1421.03028号 巴托斯·Wcisło;Łełyk，马特乌斯 12 2017 子结构和基于格的逻辑的规范性结果。 Zbl 1229.03023号 铃木，Tomoyuki 11 2011 集合论的广义代数值模型。 Zbl 1375.03066号 Löwe，Benedikt公司;塔拉福德，苏拉夫 11 2015 stit语义中的操作类型。 Zbl 1421.03006号 约翰·霍蒂;埃里克·帕奎特 11 2017 帕什的数学哲学。 Zbl 1193.03002号 德克·施利姆 11 2010 分区逻辑：介绍子集逻辑的对偶。 Zbl 1211.03101号 大卫·埃勒曼 11 2010 博尔扎诺的接地概念(Abfolge公司)在常规证明的背景下。 Zbl 1288.03005号 安特耶·伦贝格 11 2013 没有点的经典连续体。 Zbl 1326.03019号 杰弗里·赫尔曼;斯图尔特·夏皮罗 11 2013 遗传有限集理论哥德尔不完全性定理的机器辅助证明。 Zbl 1337.03021号 劳伦斯·C·鲍尔森。 11 2014 观点和概率运动学的融合。 Zbl 1375.03027号 西蒙·哈特格尔（Simon M.Huttegger）。 11 2015 冯·慕尼黑豪森男爵风格的红衣主教算术。 Zbl 1185.03088号 阿尔伯特·维瑟 10 2009 最小真实性和可解释性。 Zbl 1188.03003号 马丁·菲舍尔 10 2009 亚结构好奇逻辑。 Zbl 07063893号 Vít省Punčochář 10 2019 贝叶斯学习的一般性质是由条件期望决定的统计推断。 Zbl 1417.03113号 盖尼斯·扎兰;米克洛斯·雷迪 10 2017 未经证实的梅洛学。 Zbl 1259.03009号 科特诺尔（Aaron J.Cotnoir）。;安德鲁·培根 10 2012 关于扁平化消除规则。 Zbl 1329.03087号 格里戈里·奥尔霍维科夫。;彼得·施罗德·海斯特 10 2014 量化的论点演算。 Zbl 1345.03053号 Hanoch Ben-Yami 10 2014 关于证据支持的不及物性的进一步结果。 Zbl 1234.03005号 伊戈尔·杜文 10 2011 我们认为这些真理是不言而喻的：但这意味着什么？ Zbl 1170.03003号 斯图尔特·夏皮罗 10 2009 子结构逻辑的Sahlqvist定理。 Zbl 1282.03014号 铃木，Tomoyuki 9 2013 资源和能力的逻辑。 Zbl 1506.03065号 玛尔塔·比尔科娃;朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;纳霍姆Wijnberg 9 2018 义务、自由选择和最弱权限的逻辑。 Zbl 1375.03007号 艾伯特·安格伯格。;诺伯特·格拉兹尔;罗伊，奥利维尔 9 2015 算术参考。 兹比尔1522.03324 拉维尼亚·皮科洛 8 2018 矩阵语义学中真值谓词的研究。 Zbl 1439.03110号 托马索·莫拉希尼 8 2018 直觉命题公式的模型理论表征。 Zbl 1280.03010号 格里戈里·奥尔霍维科夫。 8 2013 分解广义量词。 兹伯利1204.03037 达格·韦斯特斯特尔 8 2008 一种用于可证明模态逻辑的纯句法和无割序列演算。 Zbl 1189.03071号 弗朗西丝卡·波乔列西 8 2009 量子集理论的正交模值模型。 Zbl 1421.03026号 小泽一郎 8 2017 自反敏感性模态逻辑。 Zbl 1353.03011号 大卫·R·吉尔伯特。;乔治·文丘里 8 2016 亚原子推导规则。 Zbl 1252.03125号 巴托斯·威考斯基 8 2011 关联逻辑和关系演算。 Zbl 1198.03029号 罗杰·马杜克斯。 8 2010 \（\mathrm{LP}^{+}\）、\（\mathrm{K3}^{+/}\）和\（\mathrm{FDE}^{++}\），以及它们的“经典崩溃”。 Zbl 1315.03002号 比尔，Jc 8 2013 循环定义的Solovay型定理。 Zbl 1347.03049号 肖恩·斯坦德弗 8 2015 tonk的语义应该是怎样的。 Zbl 1382.03016号 安德烈亚斯·费尔斯塔德 8 2015 反事实的概率语义学。B部分。 Zbl 1253.03010号 汉内斯·莱特盖布 8 2012 瓦伦蒂尼对可证明逻辑的消减解决了。 Zbl 1254.03113号 拉杰夫·戈尔;雷文莎·拉马纳亚克 8 2012 根深蒂固的真理的公理。 兹比尔1329.03024 汤马斯·辛德勒 8 2014 分级准确性和非经典语义。 Zbl 1261.03066号 J.Robert G.威廉姆斯。 8 2012 一些三格逻辑的序贯计算。 Zbl 1174.03008号 诺里希罗·卡米德;海因里希·万兴 8 2009 反应优先结构和非单调结果。 Zbl 1174.03010号 Dov M.加巴伊。;卡尔·施莱赫塔 8 2009 前提与核心证据结论的相关性。 Zbl 1375.03078号 尼尔·坦南特 8 2015 二元论逻辑的模态翻译。 Zbl 1388.03023号 雅罗斯拉夫·什兰科 8 2016 双直觉逻辑的分析切割和插值。 Zbl 1417.03280号 托马斯·科瓦尔斯基;小野，Hiroakira 8 2017 命题确定性和独立性的逻辑。 Zbl 1522.03051号 瓦伦丁·戈兰科;安蒂·库西斯托 7 2018 精确蕴涵的逻辑。 Zbl 1454.03031号 很好，Kit;马克·贾戈 7 2019 概率演算的决策过程及其应用。 Zbl 1202.03022号 布兰登·菲德尔森 7 2008 关于概率约定T。 Zbl 1204.03010号 汉内斯·莱特盖布 7 2008 度量空间的模态逻辑。 兹比尔1371.03022 古拉姆·贝扎尼什维利;大卫·加伯里亚;乔尔·卢塞罗·布莱恩 7 2015 普遍性和存在性。一： 量化和自由逻辑。 Zbl 07063877号 格雷格·雷斯塔尔 7 2019 逻辑运算符的理论证明语义值。 兹比尔1248.03049 尼西姆·弗朗西兹;吉拉德·本·阿维 7 2011 超布尔纳普逻辑的格。 Zbl 07658883号 亚当·佩恩索尔 7 2023 自我参考前期：自我参考哥德尔数研究。 Zbl 07689494号 巴尔塔萨尔·格拉马耶;阿尔伯特·维瑟 三 2023 罗素的确定描述理论——一种证明理论方法。 Zbl 1522.03315号 安德烈·因德泽扎克（Andrzej Indrzejczak） 1 2023 Stit公司-自愿输入的想象片段的逻辑。 兹比尔07740299 克里斯托弗·巴杜拉;海因里希·瓦辛 1 2023 加强否定。 Zbl 07740302号 萨托鲁·尼基 1 2023 分数值模态逻辑。 Zbl 07786926号 马里奥广场;加布里埃尔·普奇尼;泰西，马蒂奥 1 2023 谓语是一种潜在形式。 Zbl 07658878号 林内波，Ø伊斯坦;斯图尔特·夏皮罗 1 2023 量化模态相关逻辑。 Zbl 07658886号 尼古拉斯·费伦茨 1 2023 支持几何池。 Zbl 1508.60003号 让·巴切利;拉什·T·斯图尔特。 1 2023 证据条件的逻辑。 Zbl 07576542号 埃里克·雷德尔;安德烈亚·伊科纳;文森佐·克鲁皮 6 2022 集论势论的模态逻辑和势论最大性原理。 Zbl 1529.03254号 乔尔·戴维·哈姆金斯;林内波，Ø伊斯坦 5 2022 差异条件和相关拉姆齐测试。 Zbl 1529.03137号 汉斯·罗特 5 2022 两级可信度限制修订。 Zbl 1504.03012号 马可·加拉帕 4 2022 连接隐含纯粹理论的语义学。 Zbl 07576536号 耶鲁大学维斯 4 2022 认识论多边逻辑。 Zbl 07531434号 卢卡·因科瓦蒂;朱利安·施罗德。 三 2022 逐步去除的模态逻辑。 Zbl 1529.03156号 约翰·范·本特姆;米尔泽夫斯基（Mierzewski，Krzysztof）;弗朗西丝卡·扎福拉·布兰多 三 2022 天真真理的力量。 Zbl 1529.03039号 哈特里·菲尔德 2 2022 爱因斯坦狭义相对论在任意有序场上隐含的世界观变换群。 Zbl 07531428号 Judit X·马达拉斯。;迈克·斯坦内特;谢凯利（Székely，Gergely） 1 2022 自愿想象：细粒度分析。 Zbl 1525.03059号 伊拉里亚州卡纳沃托;弗朗西斯科·贝尔托;亚历山德罗·佐丹尼 1 2022 数学严谨和证明。 Zbl 07531431号 雅辛·哈马米 1 2022 关于连续计算的注记（\mathbf{G3[mic]}^=\）。 Zbl 07531435号 佛朗哥·帕拉米奥;弗拉维奥·普雷维亚莱 1 2022 德佐特的假设：一种抽象的方法。 Zbl 1504.03011号 爱德华多·N·乔瓦尼尼。;爱德华·海斯勒。;拉萨勒·卡萨纳夫，亚伯;保罗·A·S·维洛索。 1 2022 经典的反可能性。 Zbl 1529.03041号 法语、罗汉语;帕特里克·吉拉德;戴维·里普利 1 2022 Mereological双模逻辑。 兹伯利07613695 李大竹;王燕京 1 2022 二维逻辑中的问题。 Zbl 07613696号 汤姆·范·盖塞尔 1 2022 探究逻辑和（mathtt{DNA}）逻辑的代数方法。 Zbl 07613699号 尼克·贝扎尼什维利;吉安卢卡·格里莱蒂;夸德拉罗，大卫·埃米利奥 1 2022 广义爱泼斯坦语义的三种模型理论结构。 Zbl 07613701号 Krawczyk和Krzysztof A。 1 2022 概率稳定性、AGM修正算子和最大熵。 Zbl 07576535号 米尔泽夫斯基（Mierzewski，Krzysztof） 1 2022 EK、ECK和亲属的邻里规范：一个建设性证据。 Zbl 07576537号 范德普特，弗雷德里克;保罗·麦克纳马拉 1 2022 弗雷格的实数理论：一致的渲染。 Zbl 1496.00020号 弗朗西丝卡·博卡尼;马可·潘扎 1 2022 严格本原递归可实现的谓词逻辑的非算术性。 Zbl 07576540号 瓦莱里·普利斯科 1 2022 替换丰富了形式不一致的逻辑：代数和模态解释。 Zbl 07576543号 沃尔特·卡尼埃利;马塞洛·E·科尼格里奥。;福恩市长，大卫 1 2022 关于哥德尔第二定理关于数的不变性。 Zbl 1487.03070号 巴尔塔萨尔·格拉马耶 6 2021 （V）的普遍性和扩展。 Zbl 1500.03002号 卡罗琳·安托斯;巴顿，尼尔;Sy-David弗里德曼 6 2021 从属选择、适当性和一般绝对性。 Zbl 07374094号 大卫·阿斯珀罗;阿萨夫·卡拉吉拉 5 2021 动态超内涵信念修正。 Zbl 1484.03027号 艾比克·厄兹根;弗朗西斯科·贝尔托 4 2021 自然形式化：在ZF中导出坎托-伯恩斯坦定理。 Zbl 07374087号 威弗里德·西格;帕特里克·沃尔什 三 2021 有效的不可分割性、格和预排序关系。 Zbl 1517.03037号 尤里·安德鲁斯;安德烈·索比 三 2021 Grzegorczyk模态逻辑的无充分根据的证明。 Zbl 1496.03086号 尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫 2 2021 Gentzen等式序列演算的原子割的消除和半缩短性质。 Zbl 1487.03064号 佛朗哥·帕拉米奥;弗拉维奥·普雷维亚莱 2 2021 组成性、可计算性和复杂性。 Zbl 1508.03075号 彼得·帕金 1 2021 演绎基数结果和令人讨厌的原则。 Zbl 1508.03037号 埃贝尔斯·杜根（Ebels-Duggan），肖恩·C。 1 2021 算术片段的算术可定义扩展的层次不完全性结果。 Zbl 1508.03091号 拉斯穆斯·布兰克 1 2021 广义单、多结论序列和自然演绎算法的截消和归一化。 Zbl 1485.03233号 理查德·扎克 1 2021 知识、理由和充分的理由。 Zbl 1484.03024号 保罗·埃格里;保罗·马蒂;布莱恩·雷恩 1 2021 探索关系三段论逻辑的前景。 Zbl 1490.03018号 亚历克斯·克鲁克曼;劳伦斯·莫斯。 1 2021 模态逻辑K、T和D的模超序列演算的割自由完备性。 Zbl 1486.03040号 萨马拉·伯恩斯;理查德·扎克 1 2021 无限Lambek演算与Kleene星的复杂性。 Zbl 1517.03042号 斯捷潘·库兹涅佐夫 1 2021 数学证明中的计划和规划。 兹比尔1482.00006 雅辛·哈马米;Rebecca Lea莫里斯 1 2021 用限制语语义对指示性条件进行的表现主义分析。拉姆齐试验阴性。定理证明。 Zbl 07819580号 约翰·坎特威尔 1 2021 以子结构手段为特征的完全经典真理理论。 Zbl 1476.03028号 费德里科·马蒂亚斯·佩洛斯 12 2020 Belnap-Dunn模态逻辑：真值常量与真值。 Zbl 1506.03071号 谢尔盖·奥丁佐夫。;斯坦尼斯拉夫·斯佩兰斯基。 7 2020 皮尔士经典命题逻辑演算。 Zbl 1485.03017号 马明辉;阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen） 7 2020 非传递方法的恢复运算符。 Zbl 1452.03062号 爱德华多·亚历杭德罗·巴里奥;费德里科·佩洛斯;达米安·斯穆克 5 2020 德摩根幺半群的种类：原子的覆盖。 Zbl 1484.03038号 T·莫拉希尼。;J.G.拉弗瑞。;J.J.Wannenburg。 5 2020 经典逻辑的分数语义。 Zbl 1486.03016号 马里奥广场;加布里埃尔·普奇尼 5 2020 关于“无反作用的真理”中删减证明的注记。 Zbl 1473.03035号 安德烈亚斯·费尔斯塔德 5 2020 无限集上具有基数比较的三段论逻辑。 兹比尔1455.03039 劳伦斯·莫斯。;托帕，塞卢克 4 2020 数学模块化。 Zbl 1439.00026号 杰里米·阿维加德 4 2020 形式理论之间的距离。 Zbl 1485.03079号 穆罕默德·哈立德;谢凯利（Székely，Gergely）;Lefever，科恩;朋友，米歇尔 4 2020 机械化逻辑-形而上学原理在功能类型理论中。 Zbl 1484.03020号 丹尼尔·基什内尔;克里斯托夫·本兹穆勒;爱德华·扎尔塔。 三 2020 知识、知识性和信念的逻辑和拓扑。 Zbl 1473.03010号 亚当·比约恩达尔;艾比克·厄兹根 三 2020 群的不可表示关系代数。 Zbl 1477.03262号 哈伊纳尔·安德雷卡;伊斯坦·内梅蒂;史蒂文·吉万特 三 2020 遗传结构完整的正向逻辑。 Zbl 1485.03062号 亚历克斯·西特金 三 2020 无限值事件严格相干的三个特征。 Zbl 1485.03058号 托马索·弗拉米尼奥 三 2020 动机证明：它们是什么，为什么重要，以及如何编写。 Zbl 1437.00025号 Rebecca Lea莫里斯 2 2020 依赖性和基础性的正式表示。 Zbl 1484.03010号 埃多尔多·里韦洛 2 2020 再看一下第二个不完全性定理。 Zbl 1444.03168号 阿尔伯特·维瑟 2 2020 作为公理的通用大基数。 Zbl 1484.03113号 门罗·埃斯奎 2 2020 通过悖论和完整性实现的不完整性。 Zbl 1485.03244号 沃尔特·迪恩 2 2020 范畴逻辑中的游历程序：命题术语上的莱布尼茨。 Zbl 1452.03014号 马可·马林克;阿努巴夫·瓦苏德万 1 2020 标准贝叶斯逻辑是不可有限公理化的。 Zbl 1452.03051号 吉尼斯，扎兰 1 2020 关于盛田对等和可解释性。 Zbl 1444.03004号 保罗·安·麦克尔唐尼 1 2020 各种证明系统FDE公司-基于模态逻辑。 兹比尔1479.03013 谢尔盖·德罗比舍维奇;海因里希·瓦辛 1 2020 哥德尔-洛布可证明逻辑中的非零阶导数。 Zbl 1486.03099号 达尼亚尔·沙姆卡诺夫 1 2020 无能为力和报复。 Zbl 1486.03011号 克里斯·斯坎布勒 1 2020 相关逻辑中的替换。 Zbl 1476.03027号 Ø戈尔，托雷·费特兰 1 2020 Suszko的问题：混合结果和组合。 Zbl 07171844号 伊曼纽尔·切姆拉;保罗·埃格里 12 2019 亚结构好奇逻辑。 Zbl 07063893号 潘奇阿，维特 10 2019 精确蕴涵的逻辑。 Zbl 1454.03031号 很好，Kit;马克·贾戈 7 2019 普遍性和存在性。一： 量化和自由逻辑。 Zbl 07063877号 雷斯塔尔，格雷格 7 2019 量化论据演算的实证分析。 Zbl 07171840号 埃迪·巴甫洛维奇;诺伯特·格拉茨 6 2019 完全可加性和模态不完全性。 Zbl 07124571号 卫斯理·H·霍利迪。;塔德乌兹·利塔克 5 2019 不确定矩阵的重展开及其在非经典逻辑中的应用。 兹伯利07063885 阿诺·阿夫隆;尤尼·佐哈尔 4 2019 每个人都知道有人知道：量词胜过认知主体。 Zbl 07063891号 帕维尔·瑙莫夫;陶，贾 4 2019 counter-doxa条件的完整性-使用排名语义。 Zbl 1442.03004号 埃里克·雷德尔 4 2019 线性时间逻辑超连续微积分中的割消。 Zbl 07171848号 安德烈·因德泽扎克（Andrzej Indrzejczak） 4 2019 关于不完全信息逻辑中广义量词的一些观察。 兹比尔07124570 福斯托·巴贝罗 三 2019 关于索利斯反数学的注记。 Zbl 07063880号 达米尔·扎法罗夫。 三 2019 弗雷格的约束和弗雷格基础程序的性质。 Zbl 1411.00030号 马可·潘扎;安德烈亚·塞雷尼 三 2019 积极真理的典范。 Zbl 1454.03092号 Łełyk，马特乌斯;巴托斯·Wcisło 三 2019 经典mereology的自然公理。 Zbl 07063886号 科特诺尔，A.J。;阿奇尔·瓦尔齐（Achille C.Varzi）。 三 2019 真理与悖论的统一理论。 Zbl 07063890号 洛伦佐·罗西 三 2019 在没有收缩的元理论中没有收缩的模态逻辑。 Zbl 1443.03014号 帕特里克·吉拉德;扎克·韦伯 三 2019 同伦类型理论中的宇宙和单价。 Zbl 07124569号 Ladyman，詹姆斯;斯图亚特·普雷斯内尔 2 2019 正模态代数的种类和结构完备性。 Zbl 07124573号 托马索·莫拉希尼 1 2019 捕获结果。 Zbl 07063892号 亚历山大·帕索 1 2019 结果关系的抽象方法。 Zbl 1445.03076号 彼得·辛图拉;JoséGil-Férez;托马索·莫拉希尼;弗朗西斯科·保利 1 2019 模态结构主义与反思。 Zbl 07171841号 萨姆·罗伯茨 1 2019 模态和可表达性。 Zbl 07171843号 马修·曼德尔克恩 1 2019 …还有304多个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1322位作者引用 31 汉斯·皮特·范·迪特马什 24 尼克·贝扎尼什维利 24 雅罗斯拉夫·伊戈列维奇·彼得鲁金 24 海因里希·西奥多 22 古拉姆·贝扎尼什维利 19 阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen） 17 范洁 16 王燕京 15 费德里科·马蒂亚斯 14 尼西姆·弗朗西兹 14 弗朗西丝卡·波乔列西 13 阿尔伯特·维瑟 11 保罗·埃格里 11 彼得·弗里茨 11 罗马库兹涅茨 11 马明辉 11 卡洛·尼古莱 11 大森，Hitoshi 11 亚历山德拉·帕尔米吉亚诺 11 洛伦佐·保罗·罗西 11 托马斯·施图德 10 Sy-David弗里德曼 10 安德烈·因德泽扎克（Andrzej Indrzejczak） 10 卢塞罗·布莱恩，乔尔·格雷戈里 10 托马索·莫拉希尼 10 戴维·里普利 10 斯图尔特·夏皮罗 10 肖恩·斯坦德弗 10 达米安·恩里克·斯穆克 10 van Benthem，Johan F.A.K。 10 乔治·文丘里 10 扎克·韦伯 10 埃莉亚·扎迪尼 9 爱德华多·亚历杭德罗·巴里奥 9 安德烈亚斯·费尔斯塔德 9 Dov M.加巴伊。 9 斯文·奥夫·汉森 9 米哈伊尔·卡茨（Mikhail G.Katz）。 9 林内波，Ø伊斯坦 9 劳伦斯·莫斯。 9 迈克尔·希珀斯 8 托马斯·奥戈特内斯 8 尼尔·巴顿 8 沃尔特·亚历山大·卡尼埃利 8 布鲁诺·达雷 8 诺伯特·格拉茨 8 盖尼斯·扎兰 8 莱昂·霍斯顿 8 Łełyk，马特乌斯·兹比格尼尤 8 格雷厄姆牧师 8 格哈德·舒尔茨 8 瓦西里·沙金 8 尼尔·坦南特。 7 谢尔盖·阿特莫夫 7 吉列尔莫·巴迪亚 7 福斯托·巴贝罗 7 劳尔·费尔瓦里 7 肯塔罗州藤本市 7 鲁斯塔姆·加利姆林 7 亚历山德罗·佐丹尼 7 朱塞佩·格雷科 7 劳埃德·亨伯斯通 7 诺里希罗·卡米德 7 汉内斯·莱特盖布 7 梅多斯，托比 7 萨拉·内格里 7 弗朗西斯科·保利 7 伊戈尔·塞德拉尔 7 塔拉福德，苏拉夫 7 克劳迪奥·特努洛 7 卢卡·特兰奇尼 7 范·密尔，简 7 罗伯特·范·鲁伊 7 巴托斯·Wcisło 7 杨帆 6 哈伊纳尔·安德雷卡 6 比尔，Jc 6 弗朗西斯科·贝鲁奇 6 卡拉拉，马西米利亚诺 6 巴勃罗·科布雷罗斯 6 马塞洛·埃斯特班（Marcelo Esteban Coniglio） 6 威廉·康雷迪 6 大卫·P·埃勒曼。 6 装配，梅尔文·克里斯 6 Joseph Yehuda Halpern 6 乔尔·戴维·哈姆金斯 6 贾尼契奇，普雷德拉格 6 菲利普·克莱默 6 Kuijer、Louwe Bouke 6 Kurahashi、Taishi 6 朱利安·纳布克斯 6 谢尔盖·奥丁佐夫。 6 马可·潘扎 6 加布里埃尔·普奇尼 6 雷文莎·拉马纳亚克 6 布莱恩·雷恩 6 威廉·罗什（William A.Roche）。 6 卢卡斯·丹尼尔·罗森布拉特 6 Väänänen，Jouko Antero 6 费尔南多·雷蒙多（Fernando Raymundo） …还有1222名作者 全部的 前5名114种期刊被引用 206 符号逻辑述评 189 合成 180 哲学逻辑杂志 133 Studia Logica公司 59 纯逻辑与应用逻辑年鉴 50 圣母院形式逻辑杂志 44 逻辑、语言与信息杂志 44 逻辑与逻辑哲学 41 应用非经典逻辑杂志 36 泛逻辑 33 埃尔肯特尼斯 30 符号逻辑杂志 26 符号逻辑公报 21 数学逻辑档案 20 应用逻辑杂志 17 逻辑科公报 17 托波伊 16 人工智能 16 数学与人工智能年鉴 14 代数普遍性 14 数学逻辑季刊（MLQ） 13 逻辑历史与哲学 12 科学基础 10 自动推理杂志 10 程序设计中的逻辑和代数方法杂志 9 理论计算机科学 9 信息与计算 8 数学百科全书。新系列 8 ACM计算逻辑事务 8 计算机科学中的逻辑方法 7 诺尔斯 6 模糊集与系统 6 国际近似推理杂志 6 物理学基础 5 莫斯科大学数学通报 5 计算机与系统科学杂志 5 Logicheskie Issledovaniya公司 4 数学信使 4 数学社会科学 4 游戏与经济行为 4 科学史与哲学研究。第二部分近代物理史与哲学研究 三 代数与逻辑 三 MSCS公司。计算机科学中的数学结构 三 计算系统理论 三 伦敦皇家学会哲学学报。A.数学、物理和工程科学 2 精密科学史档案 2 国际理论物理杂志 2 数学笔记 2 《伦敦数学学会通报》 2 信息科学 2 几何杂志 2 应用的分类结构 2 逻辑程序设计理论与实践 2 Oberwolfach报告 2 科学哲学 2 欧洲科学哲学杂志 2 可计算性 2 欧洲数学杂志 2 车里雅宾斯基 1 信息处理信件 1 德国数学实验室（DMV） 1 立陶宛数学杂志 1 剑桥哲学学会数学进展杂志 1 数学物理报告 1 Beiträge zur代数与几何 1 加拿大数学通报 1 国际博弈论杂志 1 经济理论杂志 1 数学心理学杂志 1 纯粹与应用代数杂志 1 美国数学学会会刊 1 Quaestions数学 1 数学成绩 1 半群论坛 1 西伯利亚数学杂志 1 理论与决策 1 美国数学学会会刊 1 拓扑及其应用 1 塞贡达·埃波卡 1 运筹学年鉴 1 国际计算机科学基础杂志 1 数学史 1 SIAM审查 1 美国数学学会公报。新系列 1 数学说明 1 波兰科学院数学公报 1 经济理论 1 菲洛马 1 斯博尼克：数学 1 软计算 1 几何与制图杂志 1 马特马蒂奇尼研究所 1 数学逻辑杂志 1 几何学进展 1 国际科学哲学研究 1 熵 1 地中海数学杂志 1 差分方程研究进展 1 伊朗模糊系统杂志 1 国际语义计算杂志 …还有14种期刊 全部的 前5名在38个字段中引用 1,600 数学逻辑和基础（03-XX） 193 计算机科学（68至XX） 129 总体主题；集合（00-XX） 105 历史和传记（01-XX） 56 阶、格、有序代数结构（06-XX） 40 几何图形（51至XX） 40 概率论与随机过程（60-XX） 39 博弈论、经济学、金融和其他社会和行为科学（91-XX） 24 范畴理论；同调代数（18-XX） 24 一般拓扑结构（54至XX） 18 量子理论（81-XX） 16 一般代数系统（08-XX） 15 统计学（62-XX） 8 相对论和引力理论（83至XX） 7 组合数学（05-XX） 7 场论和多项式（12-XX） 7 信息与通信理论、电路（94-XX） 6 群论与推广（20-XX） 5 实际功能（26年X月X日） 5 测量和集成（28-XX） 5 代数拓扑（55-XX） 5 数学教育（97-XX） 4 数论（11-XX） 4 交换代数（13-XX） 4 功能分析（46倍X倍） 三 结合环与代数（16-XX） 三 动力系统和遍历理论（37-XX） 三 微分几何（53至XX） 2 凸和离散几何（52至XX） 2 粒子和系统力学（70-XX） 2 运筹学、数学规划（90-XX） 1 代数几何（14-XX） 1 \（K\）理论（19-XX） 1 复变量的函数（30年XX月） 1 序列、级数、可和性（40-XX） 1 数值分析（65-XX） 1 统计力学，物质结构（82-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文