编辑配置文件(在新选项卡中打开) 装配,梅尔文·克里斯 合著者距离 作者ID: 装配,熔化-c 发布日期: 配件,梅尔文;配件,M。;配件,Melvin C。;配件,M.C。 更多。。。较少的 主页: http://www.melvinfitting.org/ 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档: 113出版物自1969年以来,包括13本书 5作为编辑的贡献 合著者: 17合著者具有16份联合出版物 421位合作作者 全部的 前5名合著者 102 单一作者 2 拉尔斯·塔尔曼 2 安德烈·沃伦科夫 1 谢尔盖·阿特莫夫 1 玛丽安·本·雅各布 1 Greer配件 1 康斯坦蒂诺斯·乔治亚托斯 1 罗马库兹涅茨 1 V.Wiktor马雷克 1 理查德·门德尔松。 1 伯恩特·米勒 1 尼禄,阿尼尔 1 或者艾瓦·奥斯卡。 1 布莱恩·雷曼 1 菲利佩·萨尔瓦多 1 雷蒙德·梅里尔·斯穆利安 1 特鲁什琴斯基,米洛斯奥 1 叶瑞丽 全部的 前5名系列 11 纯逻辑与应用逻辑年鉴 8 Studia Logica公司 7 圣母院形式逻辑杂志 7 逻辑与计算杂志 6 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 6 逻辑程序设计杂志 4 符号逻辑杂志 4 计算机基础理论 三 哲学逻辑杂志 三 理论 2 理论计算机科学 2 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 2 澳大利亚逻辑杂志 2 牛津逻辑指南 2 Synthese库 1 合成 1 自动推理杂志 1 欧洲理论计算机科学协会(EATCS)公报 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 应用逻辑杂志 1 剑桥数学丛书 1 计算机科学研究生课程 1 逻辑与数学基础研究 1 模糊与软计算研究 1 逻辑趋势——Studia Logica图书馆 1 逻辑研究(伦敦) 1 数学课文 1 计算图书馆 1 对逻辑学的杰出贡献 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 全部的 前5名领域 102 数学逻辑和基础(03-XX) 29 计算机科学(68至XX) 6 总体主题;集合(00-XX) 4 历史和传记(01-XX) 三 阶、格、有序代数结构(06-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 91出版物有1730年被引用次1229文件 引用人▼ 年份▼ 模态逻辑和直觉逻辑的证明方法。 Zbl 0523.03013号 配件,梅尔文 160 1983 一阶模态逻辑。 Zbl 1025.03001号 配件,梅尔文;理查德·门德尔松。 129 1998 逻辑程序的Kripke-Kleene语义。 Zbl 0589.68011号 配件,梅尔文 111 1985 双边性和逻辑编程的语义。 Zbl 0757.68028号 配件,梅尔文 102 1991 一阶逻辑和自动定理证明。第2版。 Zbl 0848.68101号 配件,梅尔文 95 1996 语义上的证明逻辑。 Zbl 1066.03059号 配件,梅尔文 92 2005 一阶逻辑和自动定理证明。 兹比尔0692.68002 配件,梅尔文 86 1990 直觉主义逻辑、模型理论和强制。 Zbl 0188.3203号 配件,M.C。 82 1969 多值模态逻辑。 Zbl 0745.03018号 配件,Melvin C。 70 1991 多值模态逻辑。二、。 兹比尔0772.03006 配件,梅尔文 63 1992 调查逻辑编程的定点语义。 Zbl 1002.68023号 配件,梅尔文 62 2002 克莱恩的三值逻辑和他们的孩子。 兹伯利0804.03016 配件,梅尔文 54 1994 克莱恩的逻辑,广义的。 Zbl 0744.03025号 配件,梅尔文 41 1991 双缝是很好的东西。 Zbl 1157.03308号 配件,梅尔文 37 2006 模态逻辑的表证明方法。 Zbl 0184.28102号 配件,梅尔文 30 1972 理由逻辑。有理由的推理。 Zbl 1479.03001号 谢尔盖·阿特莫夫;配件,梅尔文 29 2019 双边态度和真理理论。 Zbl 0678.03028号 配件,梅尔文 26 1989 类型、画面和哥德尔的上帝。 Zbl 1038.03001号 配件,梅尔文 25 2002 前缀表和嵌套序列。 Zbl 1241.03021号 配件,梅尔文 24 2012 稳定模型系列。 Zbl 0798.68096号 配件,梅尔文 23 1993 一阶模态表。 Zbl 0648.03004号 配件,梅尔文 21 1988 终端模态逻辑。 Zbl 0992.03026号 配件,梅尔文;拉尔斯·塔尔曼;安德烈·沃伦科夫 18 2001 拓扑双参数上的逻辑编程。 Zbl 0647.68096号 配件,梅尔文 17 1988 关于克里普克真理理论的数学方面的注释。 兹伯利0588.03003 配件,梅尔文 16 1986 集合论和连续体问题。 Zbl 0888.03032号 Raymond M.Smullyan。;配件,梅尔文 15 1996 一阶内涵逻辑。 Zbl 1061.03024号 配件,梅尔文 15 2004 直觉逻辑的嵌套序列。 Zbl 1327.03006号 配件,梅尔文 15 2014 通过嵌套序列进行模态插值。 Zbl 1369.03103号 配件,梅尔文;罗马库兹涅茨 12 2015 多值模态逻辑表。 Zbl 0837.03017号 配件,梅尔文 11 1995 论证逻辑、知识逻辑和保守性。 Zbl 1173.03013号 配件,梅尔文 11 2008 部分模型和逻辑编程。 兹比尔062968090 配件,梅尔文 11 1986 量化的证据逻辑。 Zbl 1133.03008号 配件,梅尔文 10 2008 多值非单调模态逻辑。 Zbl 0978.03518号 配件,M。 9 1992 实现和LP。 兹比尔1221.03020 配件,梅尔文 9 2009 命题与一阶之间的模态逻辑。 Zbl 1017.03008号 配件,梅尔文 8 2002 一阶S5的插值。 兹比尔1009.03013 配件,梅尔文 8 2002 有理由的推理。 Zbl 1166.03006号 配件,梅尔文 8 2009 否定作为反驳。 Zbl 0716.68024号 配件,梅尔文 8 1989 广义递归理论基础。 Zbl 0597.03028号 配件,梅尔文 7 1981 度量方法:三个例子和一个定理。 Zbl 0823.68017号 配件,梅尔文 7 1994 破坏性模态分辨率。 Zbl 0724.03011号 配件,梅尔文 7 1990 模态逻辑、论证逻辑和实现。 Zbl 1400.03040号 配件,梅尔文 7 2016 偏爱谬误的真理理论。 Zbl 0880.03003号 配件,梅尔文 6 1997 必要性的纯粹逻辑。 Zbl 0819.03011号 配件,Melvin C。;V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 6 1992 一个简单的命题\(\text{S} 5个\)tableau系统。 Zbl 0972.03017号 配件,梅尔文 6 1999 模态逻辑和直觉逻辑的模型存在性定理。 Zbl 0286.02060号 配件,梅尔文 6 1974 超一致逻辑、证据和理由。 Zbl 1417.03192号 配件,梅尔文 6 2017 确定性PROLOG定点语义。 Zbl 0592.68021号 配件,梅尔文 5 1985 互模拟和布尔向量。 Zbl 1083.03025号 配件,梅尔文 5 2003 巴坎双向。 Zbl 0993.03016号 配件,梅尔文 5 1999 具有多个模态运算符的逻辑。 Zbl 0188.31801号 配件,M。 5 1969 一阶证明逻辑的可能世界语义。 Zbl 1345.03036号 配件,梅尔文 5 2014 关于游戏的推理。 Zbl 1248.03028号 配件,梅尔文 4 2011 证明逻辑和混合逻辑。 Zbl 1215.03032号 配件,梅尔文 4 2010 超越二:多值逻辑的理论和应用。 兹比尔1015.00007 4 2003 S4中嵌入了经典逻辑。 2011年9月21日Zbl 配件,M。 4 1971 S5的实现定理是一个简单的构造性证明。 Zbl 1317.03024号 配件,梅尔文 4 2011 重新访问了leanTAP。 Zbl 0909.03013号 配件,梅尔文 三 1998 枚举运算符和模块化逻辑编程。 Zbl 0608.68005号 配件,梅尔文 三 1987 子公式导致一些命题模态逻辑。 Zbl 0397.03011号 配件,梅尔文 三 1978 集合之地的不完整。 Zbl 1152.03003号 配件,梅尔文 三 2007 导言。 Zbl 0972.03542号 配件,梅尔文 三 1999 内涵逻辑——超越一阶。 Zbl 1048.03014号 配件,梅尔文 三 2003 严格/宽容的理念和态度。 Zbl 1496.03101号 配件,梅尔文 三 2021 利用模型存在定理实现。 Zbl 1403.03030号 配件,梅尔文 三 2016 可计算性理论、语义和逻辑编程。 Zbl 0613.68019号 配件,梅尔文 2 1987 伪布尔值Prolog。 Zbl 0667.68110号 配件,梅尔文 2 1988 前言:向海伦娜·拉西奥瓦教授致敬。 兹伯利0922.01035 配件,梅尔文 2 1999 实现和LP。 Zbl 1132.03325号 配件,梅尔文 2 2007 命题S5的表系统。 Zbl 0314.02039号 配件,梅尔文 2 1977 模态Herbrand定理。 兹伯利0863.68102 配件,梅尔文 2 1996 模态逻辑的Herbrand定理。 Zbl 0947.03024号 配件,梅尔文 2 1999 一种允许空域的表格证明方法。 兹标0177.01102 配件,梅尔文 2 1971 形态和数据库。 Zbl 0963.03028号 配件,梅尔文 2 2000 一系列严格/宽容逻辑。 Zbl 1496.03099号 配件,梅尔文 2 2021 带注释的修订规范程序。 Zbl 1496.68333号 配件,梅尔文 2 1995 FOIL公理化。 Zbl 1114.03014号 配件,梅尔文 2 2006 关于身高和幸福。 Zbl 1437.03086号 配件,梅尔文 2 2017 当代逻辑学精选主题。 Zbl 1505.03005号 2 2021 庆祝罗希特·帕里赫教授60岁生日。 Zbl 0920.00056号 1 1999 数据库和更高类型。 Zbl 0983.68055号 配件,梅尔文 1 2000 高阶模态逻辑——草图。 Zbl 0955.03030号 配件,梅尔文 1 2000 计算Gödel-Löb不动点的程序。 Zbl 1028.03509号 配件,梅尔文 1 1996 关于量化模态逻辑。 Zbl 0936.03019号 配件,梅尔文 1 1999 一阶逻辑逻辑。 Zbl 1111.03303号 配件,梅尔文 1 2002 一种模态逻辑(varepsilon)演算。 Zbl 0226.02018 配件,梅尔文 1 1975 我犯了一个错误。 Zbl 1279.03007号 配件,梅尔文 1 2005 证明嵌套序列计算的完整性。 Zbl 1261.03085号 配件,梅尔文 1 2011 准再化。 Zbl 1428.03047号 配件,梅尔文 1 2017 雷蒙德·斯穆利扬(Raymond Smullyan)自我介绍。 Zbl 1381.03002号 1 2017 使用广义弱Kleene逻辑构建的严格/容忍逻辑。 Zbl 1496.03100号 配件,梅尔文 1 2021 严格/宽容的理念和态度。 Zbl 1496.03101号 配件,梅尔文 三 2021 一系列严格/宽容逻辑。 Zbl 1496.03099号 配件,梅尔文 2 2021 当代逻辑学精选主题。 Zbl 1505.03005号 2 2021 使用广义弱Kleene逻辑构建的严格/容忍逻辑。 Zbl 1496.03100号 配件,梅尔文 1 2021 理由逻辑。有理由的推理。 Zbl 1479.03001号 谢尔盖·阿特莫夫;配件,梅尔文 29 2019 超一致逻辑、证据和理由。 Zbl 1417.03192号 配件,梅尔文 6 2017 关于身高和幸福。 Zbl 1437.03086号 配件,梅尔文 2 2017 准再化。 Zbl 1428.03047号 配件,梅尔文 1 2017 雷蒙德·斯穆利扬(Raymond Smullyan)自我介绍。 Zbl 1381.03002号 1 2017 模态逻辑、论证逻辑和实现。 Zbl 1400.03040号 配件,梅尔文 7 2016 利用模型存在定理实现。 Zbl 1403.03030号 配件,梅尔文 三 2016 通过嵌套序列进行模态插值。 Zbl 1369.03103号 配件,梅尔文;罗马库兹涅茨 12 2015 直觉逻辑的嵌套序列。 Zbl 1327.03006号 配件,梅尔文 15 2014 一阶证明逻辑的可能世界语义。 Zbl 1345.03036号 配件,梅尔文 5 2014 前缀表和嵌套序列。 Zbl 1241.03021号 配件,梅尔文 24 2012 关于游戏的推理。 兹比尔1248.03028 配件,梅尔文 4 2011 S5的实现定理是一个简单的构造性证明。 Zbl 1317.03024号 配件,梅尔文 4 2011 证明嵌套序列计算的完整性。 Zbl 1261.03085号 配件,梅尔文 1 2011 证明逻辑和混合逻辑。 兹伯利1215.03032 配件,梅尔文 4 2010 实现和LP。 Zbl 1221.03020号 配件,梅尔文 9 2009 有理由的推理。 兹比尔1166.03006 配件,梅尔文 8 2009 论证逻辑、知识逻辑和保守性。 Zbl 1173.03013号 配件,梅尔文 11 2008 量化的证据逻辑。 Zbl 1133.03008号 配件,梅尔文 10 2008 集合之地的不完整。 Zbl 1152.03003号 配件,梅尔文 三 2007 实现和LP。 Zbl 1132.03325号 配件,梅尔文 2 2007 双缝是很好的东西。 Zbl 1157.03308号 配件,梅尔文 37 2006 FOIL公理化。 Zbl 1114.03014号 配件,梅尔文 2 2006 语义上的证明逻辑。 Zbl 1066.03059号 配件,梅尔文 92 2005 我犯了一个错误。 Zbl 1279.03007号 配件,梅尔文 1 2005 一阶内涵逻辑。 Zbl 1061.03024号 配件,梅尔文 15 2004 互模拟和布尔向量。 Zbl 1083.03025号 配件,梅尔文 5 2003 超越二:多值逻辑的理论和应用。 Zbl 1015.00007号 4 2003 内涵逻辑——超越一阶。 Zbl 1048.03014号 配件,梅尔文 三 2003 调查逻辑编程的定点语义。 兹比尔1002.68023 配件,梅尔文 62 2002 类型、画面和哥德尔的上帝。 Zbl 1038.03001号 配件,梅尔文 25 2002 命题与一阶之间的模态逻辑。 Zbl 1017.03008号 配件,梅尔文 8 2002 一阶S5的插值。 Zbl 1009.03013号 配件,梅尔文 8 2002 一阶逻辑逻辑。 Zbl 1111.03303号 配件,梅尔文 1 2002 终端模态逻辑。 Zbl 0992.03026号 配件,梅尔文;拉尔斯·塔尔曼;安德烈·沃伦科夫 18 2001 形态和数据库。 Zbl 0963.03028号 配件,梅尔文 2 2000 数据库和更高类型。 Zbl 0983.68055号 配件,梅尔文 1 2000 高阶模态逻辑——草图。 Zbl 0955.03030号 配件,梅尔文 1 2000 一个简单的命题\(\text{S} 5个\)tableau系统。 Zbl 0972.03017号 配件,梅尔文 6 1999 巴萨双向。 Zbl 0993.03016号 配件,梅尔文 5 1999 导言。 Zbl 0972.03542号 配件,梅尔文 三 1999 前言:向海伦娜·拉西奥瓦教授致敬。 Zbl 0922.01035号 配件,梅尔文 2 1999 模态逻辑的Herbrand定理。 Zbl 0947.03024号 配件,梅尔文 2 1999 庆祝罗希特·帕里赫教授60岁生日。 Zbl 0920.00056号 1 1999 关于量化模态逻辑。 Zbl 0936.03019号 配件,梅尔文 1 1999 一阶模态逻辑。 Zbl 1025.03001号 配件,梅尔文;理查德·门德尔松。 129 1998 重新访问了leanTAP。 Zbl 0909.03013号 配件,梅尔文 三 1998 偏爱谬误的真理理论。 Zbl 0880.03003号 配件,梅尔文 6 1997 一阶逻辑和自动定理证明。第2版。 Zbl 0848.68101号 配件,梅尔文 95 1996 集合论和连续体问题。 Zbl 0888.03032号 Raymond M.Smullyan。;配件,梅尔文 15 1996 模态Herbrand定理。 Zbl 0863.68102号 配件,梅尔文 2 1996 计算Gödel-Löb不动点的程序。 兹比尔1028.03509 配件,梅尔文 1 1996 多值模态逻辑表。 Zbl 0837.03017号 配件,梅尔文 11 1995 带注释的修订规范程序。 兹比尔1496.68333 配件,梅尔文 2 1995 克莱恩的三值逻辑和他们的孩子。 Zbl 0804.03016号 配件,梅尔文 54 1994 度量方法:三个例子和一个定理。 Zbl 0823.68017号 配件,梅尔文 7 1994 稳定模型系列。 Zbl 0798.68096号 配件,梅尔文 23 1993 多值模态逻辑。二、。 Zbl 0772.03006号 配件,梅尔文 63 1992 多值非单调模态逻辑。 Zbl 0978.03518号 配件,M。 9 1992 纯粹的必然逻辑。 Zbl 0819.03011号 配件,Melvin C。;V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 6 1992 双边性和逻辑编程的语义。 兹比尔0757.68028 配件,梅尔文 102 1991 多值模态逻辑。 Zbl 0745.03018号 配件,Melvin C。 70 1991 克莱恩的逻辑,广义的。 Zbl 0744.03025号 配件,梅尔文 41 1991 一阶逻辑和自动定理证明。 兹比尔0692.68002 配件,梅尔文 86 1990 破坏性模态分辨率。 Zbl 0724.03011号 配件,梅尔文 7 1990 双边态度和真理理论。 兹伯利0678.03028 配件,梅尔文 26 1989 否定作为反驳。 Zbl 0716.68024号 配件,梅尔文 8 1989 一阶模态表。 Zbl 0648.03004号 配件,梅尔文 21 1988 拓扑双参数上的逻辑编程。 Zbl 0647.68096号 配件,梅尔文 17 1988 伪布尔值Prolog。 Zbl 0667.68110号 配件,梅尔文 2 1988 枚举运算符和模块化逻辑编程。 Zbl 0608.68005号 配件,梅尔文 三 1987 可计算性理论、语义和逻辑编程。 Zbl 0613.68019号 配件,梅尔文 2 1987 关于克里普克真理理论的数学方面的注释。 Zbl 0588.03003号 配件,梅尔文 16 1986 部分模型和逻辑编程。 Zbl 0629.68090号 配件,梅尔文 11 1986 逻辑程序的Kripke-Kleene语义。 Zbl 0589.68011号 配件,梅尔文 111 1985 确定性PROLOG定点语义。 Zbl 0592.68021号 配件,梅尔文 5 1985 模态逻辑和直觉逻辑的证明方法。 Zbl 0523.03013号 配件,梅尔文 160 1983 广义递归理论基础。 Zbl 0597.03028号 配件,梅尔文 7 1981 子公式导致了一些命题模态逻辑。 Zbl 0397.03011号 配件,梅尔文 三 1978 命题S5的表系统。 Zbl 0314.02039号 配件,梅尔文 2 1977 一种模态逻辑(varepsilon)演算。 Zbl 0226.02018 配件,梅尔文 1 1975 模态逻辑和直觉逻辑的模型存在性定理。 Zbl 0286.02060号 配件,梅尔文 6 1974 模态逻辑的表证明方法。 Zbl 0184.28102号 配件,梅尔文 30 1972 S4中嵌入了经典逻辑。 2011年9月21日Zbl 配件,M。 4 1971 一种允许空域的表格证明方法。 Zbl 0177.01102号 配件,梅尔文 2 1971 直觉主义逻辑、模型理论和强制。 Zbl 0188.3203号 配件,M.C。 82 1969 具有多个模态运算符的逻辑。 Zbl 0188.31801号 配件,M。 5 1969 所有引用出版物 前5名被引用出版物 全部的 前5名1331位作者引用 31 装配,梅尔文·克里斯 17 罗马库兹涅茨 15 托马斯·施图德 14 海因里希·西奥多·万辛 13 安德烈·因德泽扎克(Andrzej Indrzejczak) 13 雅罗斯拉夫·伊戈列维奇·彼得鲁金 12 谢尔盖·阿特莫夫 11 阿诺·阿夫隆 11 马克·德内克 11 雅罗斯拉夫·什兰科。 10 Arieli,奥弗 10 克里斯托夫·埃瓦尔德·本兹穆勒 10 马丁斯(Manuel António Martins) 10 菲利普·吕默 9 Stéphane P.德姆里。 9 尼古拉斯·佩尔蒂埃 8 贾斯敏·克里斯蒂安·布兰切特 8 诺里希罗·卡米德 8 罗德里格斯,里卡多·奥斯卡 8 翁贝托·斯特拉契亚 8 王燕京 7 伯恩哈德·贝克特 7 加贝,多夫·M。 7 亚历山德罗·佐丹尼 7 雷纳·哈内尔 7 多罗塔·莱斯琴斯卡·贾西翁 7 翁贝托·里维奇奥 7 苏布拉曼尼亚,V.S。 7 斯扎·阿斯、安德烈吉 6 贝内维特斯,马里奥·R·F·。 6 帕特里克·布莱克本 6 巴特·博加特 6 马丁·德·科克 6 洛伦兹·德米 6 迪迪埃·杜布瓦 6 乌尔里希·赫斯塔特 6 邱恩·荣·廖 6 亚历山大·马德拉 6 法比奥·马萨奇 6 佐兰·奥格尼亚诺维奇 6 大卫·J·派姆。 6 伊戈尔·塞德拉尔 6 佩塔·武克米罗维奇 6 于俊华 5 卡洛斯·阿雷塞斯 5 斯特凡诺·巴拉泰拉 5 彼得·鲍姆加特纳 5 亚历山大·本特坎普 5 托本·布吕纳 5 莫里斯·布吕诺格 5 克莱尔·狄克逊 5 罗伊·戴克霍夫 5 佐尔坦·埃西克 5 路易斯·戈多 5 帕斯卡·希茨勒 5 库尔比斯,尼尔斯 5 Hidenori Kurokawa 5 马明辉 5 V.Wiktor马雷克 5 Cláudia Nalon 5 尼禄,阿尼尔 5 小野,Hiroakira 5 埃里克·帕奎特 5 雷文莎·拉马纳亚克 5 丹尼尔·Rönnedal 5 史蒂文·肖卡特 5 安东尼·卡雷尔·塞达 5 瓦西里·沙金 5 特鲁什琴斯基,米洛斯奥 5 Joost Vennekens 5 斯特凡·温斯坦 4 安东尼斯·阿奇利奥斯 4 彼得·贝克曼 4 亚历山大·波奇曼 4 沃尔特·亚历山大·卡尼埃利 4 巴勃罗·卡斯特罗。 4 希蒙·克莱博夫斯基 4 蝉蜕、阿加塔 4 彼得·辛图拉 4 大卫·丘奇 4 让-保罗·德拉海耶 4 弗朗西斯科·埃斯特瓦 4 托马斯·麦考利·弗格森 4 科斯塔斯·库特拉斯。 4 克里斯托夫·克里茨 4 丸山义弘 4 罗伯特·萨克森·米尔尼克尔 4 尤里·莫夫塞斯 4 Muskens,Reinhard A。 4 萨拉·内格里 4 卡莱斯·诺格拉 4 尼古拉·奥利维蒂 4 奥兰德利,尤金尼奥 4 阿南塔·帕德马纳巴 4 拉马努贾姆,R。 4 布莱恩·雷恩 4 阿比利奥·罗德里格斯 4 帕诺斯·朗多吉安尼 4 Schmidt,Renate A。 4 汉斯·斯梅萨特 …还有1231名作者 全部的 前5名103篇连载文章中引用 108 Studia Logica公司 72 理论计算机科学 57 哲学逻辑杂志 55 纯逻辑与应用逻辑年鉴 46 应用非经典逻辑杂志 44 自动推理杂志 32 人工智能 28 合成 27 符号逻辑杂志 25 模糊集与系统 24 数学与人工智能年鉴 23 逻辑与逻辑哲学 23 泛逻辑 19 信息与计算 19 国际近似推理杂志 19 应用逻辑杂志 18 逻辑、语言与信息杂志 18 符号逻辑述评 17 逻辑程序设计理论与实践 16 圣母院形式逻辑杂志 12 逻辑科公报 12 符号计算杂志 11 数学逻辑档案 10 符号逻辑公报 9 计算机科学中的逻辑方法 9 程序设计中的逻辑与代数方法杂志 6 代数普遍性 6 新一代计算 6 计算的形式方面 6 《数理逻辑季刊》 6 埃尔肯特尼斯 6 逻辑与代数程序设计杂志 6 ACM计算逻辑事务 5 信息科学 5 计算机与系统科学杂志 5 计算机科学中的数学结构 5 国际计算机数学杂志 5 计算系统理论 5 软计算 4 京都大学数学科学研究所出版物 4 逻辑历史与哲学 4 国际智能系统杂志 三 信息处理信件 三 立陶宛数学杂志 三 计算机科学与技术杂志 三 RAIRO公司。Informatique Théorique et Applications公司 三 系统设计中的形式化方法 三 欧洲数学杂志 2 信息学报 2 国际理论物理杂志 2 莫斯科大学数学通报 2 代数与逻辑 2 数学心理学杂志 2 控制论与系统分析 2 应用的分类结构 2 数学科学杂志(纽约) 2 国际不确定性、模糊性和基于知识的系统杂志 2 Logicheskie Issledovaniya公司 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 计算机与数学及其应用 1 富兰克林学院学报 1 数学笔记 1 匈牙利数学周期 1 数学信使 1 演示数学 1 国际博弈论杂志 1 微分方程杂志 1 数学社会学杂志 1 纯粹与应用代数杂志 1 模拟中的数学和计算机 1 非线性分析。理论、方法和应用。系列A:理论与方法 1 《数学研究所出版物》。Nouvelle Série公司 1 Quaestions数学 1 帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova 1 美国数学学会会刊 1 控制论 1 机器学习 1 吉泰。实验与理论人工智能杂志 1 国际计算机科学基础杂志 1 游戏与经济行为 1 Indagationes Mathematicae公司。新系列 1 比利时数学学会公报-西蒙·斯特文 1 斯博尼克:数学 1 Izvestiya:数学 1 数学通信 1 托波伊 1 Matematicheskie Trudy公司 1 计算机基础理论 1 马泰马蒂卡综合征 1 智能与模糊系统杂志 1 不动点理论及其应用 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 上海交通大学学报(科学版) 1 Steklov数学研究所学报 1 不动点理论与应用杂志 1 国际语义计算杂志 1 科学中国。信息科学 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯。RACSAM公司 1 对称 1 伊尔库茨科戈大学。马特马提卡丝里亚 …还有3部连续剧 全部的 前5名27个领域被引用 942 数学逻辑和基础(03-XX) 563 计算机科学(68至XX) 63 阶、格、有序代数结构(06-XX) 26 博弈论、经济学、金融和其他社会和行为科学(91-XX) 19 一般代数系统(08-XX) 18 历史和传记(01-XX) 15 总体主题;集合(00-XX) 13 范畴理论;同调代数(18-XX) 9 一般拓扑结构(54至XX) 5 生物学和其他自然科学(92-XX) 4 结合环与代数(16-XX) 4 信息与通信理论、电路(94-XX) 三 运筹学、数学规划(90-XX) 2 组合数学(05-XX) 2 群论与推广(20-XX) 2 凸和离散几何(52至XX) 2 量子理论(81-XX) 2 系统论;控制(93至XX) 1 场论和多项式(12-XX) 1 交换代数(13-XX) 1 常微分方程(34-XX) 1 积分方程(45-XX) 1 算子理论(47-XX) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 统计学(62-XX) 1 相对论和引力理论(83至XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中。