逻辑与计算杂志 简短标题: J.日志。计算。 出版商: 牛津大学出版社 国际标准编号: 0955-792X;1465-363倍/年 在线: https://academy.oup.com/logcom/issue 评论: 期刊;索引封面;截至2016年第26卷,仅以电子形式发布。打印ISSN,直到:0955-792X。 已编制索引的文档: 1645出版物(自1990年起) 全部的 前5名最新问题 34,编号1(2024) 33,编号8(2023) 33,编号7(2023) 33,编号6(2023) 33,编号5(2023) 33,编号4(2023) 33,编号3(2023) 33,编号2(2023) 33,编号1(2023) 32,第8号(2022) 32,编号7(2022) 32,编号6(2022) 32,第5号(2022) 32,编号4(2022) 32,编号3(2022) 32,编号2(2022) 32,编号1(2022) 31,编号8(2021) 31,编号7(2021) 31,第6号(2021) 31,编号5(2021) 31,编号4(2021) 31,编号3(2021) 31,编号2(2021) 31,编号1(2021) 30,第8号(2020) 30,第7号(2020年) 30,第6号(2020年) 30,第5期(2020年) 30,第4期(2020年) 30,第3期(2020年) 30,第2期(2020年) 30,第1期(2020年) 292019年第8号 29,第7号(2019) 292019年第6号 29,第5号(2019) 29,第4号(2019) 29,第3号(2019) 292019年第2期 292019年第1期 282018年第8号 28,第7号(2018) 282018年第6号 28,第5号(2018) 28,第4号(2018) 28,第3号(2018) 28,第2号(2018) 282018年第1期 272017年第8号 272017年第7号 272017年第6号 272017年第5号 272017年第4号 272017年第3号 272017年第2期 272017年第1期 262016年第6号 262016年第5号 262016年第4号 262016年第3号 262016年第2期 262016年第1期 252015年第6号 252015年第5号 25,第4号(2015年) 252015年第3期 252015年第2期 252015年第1期 24,第6号(2014) 242014年第5号 242014年第4号 242014年第3期 242014年第2期 242014年第1期 232013年第6号 232013年第5号 232013年第4号 232013年第3期 232013年第2期 232013年第1期 222012年第6号 22,第5号(2012年) 222012年第4号 222012年第3号 222012年第2期 222012年第1期 212011年第6号 212011年第5号 212011年第4号 212011年第3期 212011年第2期 212011年第1期 202010年第6号 202010年第5期 202010年第4期 202010年第3期 202010年第2期 202010年第1期 19,第6号(2009年) …还有110多个卷 全部的 前5名作者 14 大卫·J·派姆。 13 阿米尔卡·塞尔纳达斯。 12 Dov M.加巴伊。 12 路易斯·戈多 12 克里斯蒂娜·塞尔纳达斯。 11 Norihiro Kamide 10 斯特凡·德姆里。 9 Alechina,娜塔莎 9 尼克·贝扎尼什维利 9 弗朗西斯科·埃斯特瓦 9 迪迪埃·加米歇 9 佛朗哥·蒙塔格纳 9 帕维尔·G·瑙莫夫。 9 亚历山德拉·帕尔米吉亚诺 9 克里斯蒂安·斯特拉瑟 9 雷蒙德·特纳 9 范德霍克,威比 8 谢尔盖·阿特莫夫 8 马提亚斯·巴兹 8 菲利普·巴尔比亚尼 8 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 8 乔安·拉斯加 8 卡尔·施莱赫塔 8 van Benthem,Johan F.A.K。 8 斯特凡·沃特兰 8 迈克尔·J·伍尔德里奇。 7 托马斯·奥戈特内斯 7 阿诺·阿夫隆 7 Trevor J.M.Bench-Capon。 7 道格拉斯·森泽 7 斯特凡妮娅·科斯坦蒂尼 7 拉兹万·迪亚科内斯库 7 迈克尔·费希尔 7 装配,梅尔文·克里斯 7 拉杰夫·普拉巴卡尔·戈尔 7 安德烈亚斯·赫齐格 7 埃米尔·杰瓦贝克 7 Löwe,Benedikt公司 7 佐兰·奥格尼亚诺维奇 7 马克·亚历山大·雷诺兹 7 米哈伊尔·尼古拉埃维奇·里巴科夫 7 德米特里·什卡托夫 7 安德烈·索比 7 汉斯·皮特·范·迪特马什 6 斯特凡诺·阿古佐利 6 阿诺德·贝克曼 6 拉迪姆·Bělohlávek 6 托马斯·博兰德 6 蝉蜕、阿加塔 6 默多克·詹姆斯·加贝 6 丹尼尔·加恩 6 大卫·格罗西 6 Fairouz D.卡马雷丁。 6 埃米利亚诺·洛里尼 6 约翰·朱尔斯·查尔斯·梅耶 6 奥利韦蒂,尼古拉 6 雷巴科夫,弗拉基米尔·弗拉基米罗维奇 6 托马斯·施图德 6 弗兰克·沃尔特 6 赵志光 5 卡洛斯·阿雷塞斯 5 纪尧姆拍卖行 5 乔治·巴姆帕利亚斯 5 曼纽尔·博迪尔斯基 5 托本·布吕纳 5 沃尔特·亚历山大·卡尼埃利 5 马修·科林森 5 乔瓦娜·达戈斯蒂诺 5 欧内斯特·戴维斯 5 安东尼奥·迪·诺拉 5 托马索·弗拉米尼奥 5 劳拉·佐丹奴 5 福斯托·金奇利亚 5 瓦伦丁·F·戈兰科。 5 彼得·哈耶克 5 斯文·奥夫·汉森 5 尼古拉斯·R·詹宁斯。 5 迈克尔·卡明斯基 5 亚历山大·库兹 5 丹尼尔·莱曼。 5 贾科莫·伦齐 5 辽、北水 5 马可·马拉提亚 5 尼古拉斯·佩尔蒂埃 5 阿尔贝托,Policriti 5 朱塞佩·普里米埃罗 5 胜彦三野 5 伊戈尔·塞德拉尔 5 伊万·索斯科夫。 5 亚历山德拉·A·索斯科娃。 5 斯图尔特,伊恩·A。 5 范德普特,弗雷德里克 5 范·艾伊克(Jan van Eijck) 5 斯尔詹·维西奇 5 迈克尔·维克托洛维奇(Michael Viktorovich) 4 阿达梅克,吉安尼 4 奥费尔·阿列利 4 弗兰兹·巴德 4 塞勒姆·本费哈特 4 斯蒂法诺·比斯塔雷利 …还有1912多名作者 全部的 前5名领域 1324年 数学逻辑和基础(03-XX) 965 计算机科学(68-XX) 71 阶、格、有序代数结构(06-XX) 68 博弈论、经济学、金融和其他社会和行为科学(91-XX) 56 总体主题;集合(00-XX) 32 范畴理论;同调代数(18-XX) 18 组合数学(05-XX) 15 一般代数系统(08-XX) 10 量子理论(81-XX) 10 信息和通信理论,电路(94-XX) 8 历史和传记(01-XX) 5 运筹学、数学规划(90-XX) 4 一般拓扑结构(54至XX) 4 生物学和其他自然科学(92-XX) 三 群论与推广(20-XX) 三 概率论与随机过程(60-XX) 2 结合环与代数(16-XX) 2 测量和集成(28-XX) 2 偏微分方程(35-XX) 2 几何图形(51至XX) 2 代数拓扑(55-XX) 1 数论(11-XX) 1 交换代数(13-XX) 1 动力系统和遍历理论(37至XX) 1 积分方程(45-XX) 1 功能分析(46倍X倍) 1 统计学(62-XX) 1 相对论和引力理论(83至XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1172年出版物有被引用8374中的次5821文件 引用人▼ 年份▼ 线性逻辑中具有集中证明的逻辑编程。 Zbl 0764.03020号 Jean-Marc安德烈奥利 175 1992 基于重写的方程定理证明,带有选择和简化。 Zbl 0814.68117号 利奥·巴赫迈尔;哈拉尔德·甘辛格 122 1994 游戏中联盟力量的模态逻辑。 Zbl 1003.91006号 保罗,马克 116 2002 在约束条件下合并信息:逻辑框架。 Zbl 1020.68086号 塞巴斯蒂安·科尼埃奇尼;拉蒙皮诺·佩雷斯 103 2002 使用基于价值的论证框架在实际论证中进行说服。 Zbl 1043.03026号 Trevor J.M.Bench-Capon。 102 2003 使用通用形式:收获和问题。 Zbl 0774.03003号 瓦伦丁·戈兰科;所罗门·帕西 90 1992 具有lambda抽象、函数变量和简单统一的逻辑编程语言。 Zbl 0738.68016号 戴尔·米勒 85 1991 诱拐逻辑编程。 Zbl 0778.68081号 A.C.卡卡斯。;科瓦尔斯基,R.A。;F.托尼。 79 1992 抽象解释框架。 Zbl 0783.68073号 帕特里克·库索特;拉迪亚·库索特 76 1992 非确定性多值结构。 Zbl 1070.03010号 阿诺·阿夫隆;列夫,Iddo 62 2005 非单调逻辑的复杂性结果。 Zbl 0765.03012号 乔治·戈特洛布 61 1992 关于有限剩余格上的最小多值模态逻辑。 Zbl 1252.03040号 费利克斯·布;弗朗西斯科·埃斯特瓦;路易斯·戈多;罗德里格斯,里卡多·奥斯卡 59 2011 环形和模糊逻辑。 Zbl 1039.03016号 弗朗西斯科·埃斯特瓦;路易斯·戈多;彼得·哈耶克;佛朗哥·蒙塔格纳 58 2003 斩波间隔的模态逻辑。 Zbl 0744.03022号 维尼马,伊德 55 1991 将证明引入认知逻辑。 Zbl 1088.03015号 谢尔盖·阿特莫夫;埃琳娜·诺吉纳 55 2005 模态逻辑的可接受规则。 Zbl 1077.03011号 埃米尔·杰瓦贝克 50 2005 归纳和无限下降的序贯演算。 Zbl 1242.03084号 詹姆斯·布罗瑟斯顿;亚历克斯·辛普森 48 2011 伤口的驯服。带有分析切割的经典反驳。 Zbl 0806.03037号 达戈斯蒂诺,马塞洛;马可·蒙达多里 45 1994 比较运行时验证的LTL语义。 Zbl 1213.68363号 安德烈亚斯·鲍尔;马丁·勒克;克里斯蒂安·夏尔哈特 43 2010 克莱恩的逻辑,广义的。 Zbl 0744.03025号 配件,梅尔文 41 1991 关于空间的推理:模态方式。 兹比尔1054.03015 马可·艾略;约翰·范·本特姆;古拉姆·贝扎尼什维利 41 2003 实数上的时态逻辑的公理化。 Zbl 0744.03018号 D.M.加巴伊。;I.M.霍德金森。 40 1990 可数同构模板的约束满足。 Zbl 1113.03026号 曼纽尔·博迪尔斯基;雅罗斯拉夫·内舍特伊尔 39 2006 通过射影统一。 Zbl 0894.08004号 西尔维奥·吉拉尔迪 38 1997 建设性真理价值观的三重立场。 Zbl 0996.03014号 雅罗斯拉夫·什兰科;J.Michael Dunn;Tatsutoshi竹中 37 2001 条件知识库的可能性语义和标准概率语义。 Zbl 0945.68166号 塞勒姆·本费哈特;迪迪埃·杜布瓦;亨利·普拉德 37 1999 可废止逻辑的论证语义。 Zbl 1067.03038号 圭多州长;迈克尔·J·马赫。;格里戈里斯·安东尼奥;大卫·比林顿 35 2004 通过辩论进行推理和谈判的代理人。 Zbl 0904.68061号 西蒙·帕森斯;卡莱斯·塞拉;尼克·詹宁斯 35 1998 具有非对易连接词的模糊逻辑。 Zbl 1036.03018号 彼得·哈耶克 34 2003 论诱拐与演绎的关系。 Zbl 0734.68085号 卢卡控制台;丹尼尔·杜普雷;彼得罗·托拉索 34 1991 次协调Nelson逻辑的代数语义。 Zbl 1034.03029号 谢尔盖·奥丁佐夫。 33 2003 论证框架的健壮语义。 Zbl 0933.68088号 哈达萨·雅各布维茨;德克·弗梅尔 33 1999 时间间隔逻辑中的动作和事件。 Zbl 0815.68100号 詹姆斯·F·艾伦。;乔治·弗格森 31 1994 概念格中的相似关系。 Zbl 0972.06008号 拉迪姆·Bělohlávek 30 2000 半静态语义。 Zbl 1267.68223号 马丁·卡米纳达。;沃尔特·卡尼埃利。;保罗·E·邓恩。 30 2012 具有传递和反向角色以及角色层次结构的描述逻辑。 Zbl 0940.03039号 伊恩·霍洛克斯;乌尔里克·萨特勒 29 1999 混合平台终端。 Zbl 1140.03005号 托马斯·博兰德;帕特里克·布莱克本 29 2007 组合偏好关系的算子和法则。 Zbl 1008.91027号 哈伊纳尔·安德雷卡;马克·瑞恩;皮埃尔·伊夫·肖本斯 28 2002 模态逻辑的基于语义的翻译方法。 Zbl 0746.03010号 霍尔巴赫,H.J。 28 1991 证伪、自然演绎和双理论逻辑。 Zbl 1444.03009号 海因里希·瓦辛 28 2016 标称(通用)代数:具有名称和约束的方程逻辑。 兹比尔1191.08003 默多克·J·加贝。;Mathijssen,阿德 27 2009 哥德尔逻辑的超序列计算——一项调查。 Zbl 1051.03046号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller,Christian G。 27 2003 关于弱可消模糊逻辑。 Zbl 1113.03021号 佛朗哥·蒙塔格纳;卡莱斯·诺格拉;罗斯蒂斯拉夫·霍奇克 27 2006 通过上下文的操作语义实现合成。 Zbl 0738.68056号 拉森,金·G。;刘新新 26 1991 微分代数程序的微分代数动态逻辑。 Zbl 1191.03024号 安德烈·普拉泽 26 2010 带投影的有限区间时序逻辑的决策过程和完全公理化。 Zbl 1050.03012号 霍华德·鲍曼;西蒙·汤普森 26 2003 内部化标记扣除。 Zbl 0953.03018号 帕特里克·布莱克本 26 2000 重新审视国家限制。 Zbl 0815.68096号 林方禅;雷·赖特 26 1994 正规模态命题逻辑的序贯计算。 Zbl 0799.03014号 海因里希·瓦辛 26 1994 作为子结构逻辑具有强否定性的构造逻辑。 Zbl 1205.03040号 曼努埃拉·布萨尼切;罗伯托·奇格诺利 26 2010 直觉命题逻辑的(O(n\;\log\;n))空间决策过程。 Zbl 0788.03010号 约尔格·胡德尔梅尔 26 1993 权限的动态逻辑。 兹比尔0855.03008 罗恩·范德梅登 25 1996 保留各种剩余格的真度的逻辑。 Zbl 1197.03023号 费利克斯·布;弗朗西斯科·埃斯特瓦;字体,Josep Maria;阿兰格尔·J·吉尔。;路易斯·戈多;安东尼·托伦斯;文图拉·弗杜 24 2009 稠密序上子区间结构的逻辑表。 Zbl 1188.03009号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;皮埃特罗·萨拉 24 2010 关于与论证框架的首选语义相关的决策问题。 Zbl 1032.03518号 克劳德特·凯罗尔;西尔维·多特;杰罗姆·门根 24 2003 推理理性但非逻辑全知的代理人。 Zbl 0884.03026号 Ho Ngoc Duc公司 24 1997 命题为[类型]。 Zbl 1050.03016号 史蒂文·阿沃迪;安德烈·鲍尔 23 2004 线性时序逻辑LTL:可接受规则的基础。 Zbl 1233.03026号 谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 23 2011 一些带有新型概率算子的概率逻辑。 Zbl 0941.03022号 佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇 23 1999 一些正式代理间对话的属性和复杂性。 Zbl 1038.03037号 西蒙·帕森斯;迈克尔·伍尔德里奇;莱拉·阿姆古德 23 2003 分级模态逻辑的PSpace推理。 兹伯利0992.03028 托比斯,斯蒂芬 23 2001 辩论对话游戏的连贯性和灵活性。 Zbl 1092.03014号 亨利·普拉肯 23 2005 模态逻辑的范例表达。 Zbl 1234.03009号 巴特·雅各布斯;安娜·索科洛娃 23 2010 注入模型和析取关系。 Zbl 0788.03032号 迈克尔·弗伦德 23 1993 λ-微积分的线性化及其结果。 兹比尔0953.03014 阿萨夫·科福里。 22 2000 以多值逻辑中的逻辑结果为特征的。 Zbl 1386.03021号 伊曼纽尔·切姆拉;保罗·埃格里;本杰明·斯佩克特 22 2017 Łukasiewicz逻辑的可接受规则。 Zbl 1216.03042号 埃米尔·杰拉贝克 22 2010 优化描述逻辑包含。 Zbl 0940.03038号 伊恩·霍洛克斯;彼得·施奈德(Peter F.Patel-Schneider)。 21 1999 BDI逻辑的决策程序。 Zbl 0904.68158号 阿南德·拉奥。;迈克尔·乔治夫(Michael P.Georgeff)。 21 1998 超分辨率和自动化模型构建。 Zbl 0861.68086号 克里斯蒂安·弗缪勒;亚历山大·莱奇 21 1996 ([0,1]\)值Kripke框架上的双模哥德尔逻辑。 Zbl 1371.03035号 泽维尔·凯塞多;罗德里格斯、里卡多·奥斯卡 21 2015 作为资源的认知行为。 Zbl 1183.03010号 亚历山大·巴尔塔格;鲍勃·科克;梅赫努什·萨德扎德 21 2007 四值模态逻辑:克里普克语义和对偶性。 Zbl 1444.03073号 翁贝托·里维奇奥;阿希姆·荣格;拉蒙·詹萨纳 21 2017 强制子类型。 Zbl 0920.03062号 罗朝晖 20 1999 动态认知逻辑的多类型显示演算。 Zbl 1403.03027号 Frittella,萨宾;朱塞佩·格雷科;亚历山大·库兹;亚历山德拉·帕尔米吉亚诺;弗拉斯塔·西基米奇 20 2016 可推翻的辩证法:一种针对可推翻论证的争议导向方法。 Zbl 0789.03026号 杰拉德·弗里斯维克 20 1993 关于线性逻辑的一些句法观察。 Zbl 0745.03025号 哈罗德·谢林克斯 19 1991 带有强否定和不精确谓词的逻辑编程。 Zbl 0738.68018号 格德·瓦格纳 19 1991 闭集的算法随机性。 Zbl 1155.03031号 乔治·巴姆帕利亚斯;保罗·布罗德黑德;道格拉斯·森泽;塞耶德·达什蒂;丽贝卡·韦伯 19 2007 在感知Watson-Crick有限自动机语言的\(5^{prime}\右箭头3^{prime}\)层次结构上。 Zbl 1284.68362号 贝内德克·纳吉 19 2013 子结构逻辑的插值性质、Beth可定义性质和合并性质。 Zbl 1207.03030号 Hitoshi Kihara;小野,Hiroakira 19 2010 扩展析取程序的准一致稳定语义。 兹比尔0827.68070 恰基萨卡马;井上,胜美 18 1995 用于公告逻辑的表aux。 Zbl 1189.03019号 菲利普·巴尔比亚尼;汉斯·范·迪特马什;安德烈亚斯·赫齐格;蒂亚戈,德利马 18 2010 作为范畴结构的逻辑纤维。 Zbl 0942.03064号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卡洛斯·卡莱罗 18 1999 论三值语言和四值语言的表达能力。 Zbl 0941.03012号 阿诺·阿夫隆 18 1999 超越理性单调性:非单调推理关系的一些强大的非霍恩规则。 Zbl 0937.03036号 哈桑·贝扎齐;戴维·梅金森;拉蒙皮诺·佩雷斯 18 1997 有界宽度层次结构的折叠。 Zbl 1353.68107号 利波·巴托 18 2016 Łukasiewicz逻辑容许规则的基础。 Zbl 1216.03043号 埃米尔·杰瓦贝克 18 2010 我们能使第二个不完全性定理不受坐标约束吗? Zbl 1262.03123号 阿尔伯特·维瑟 18 2011 在机构的战略STIT逻辑中嵌入交替时间时序逻辑。 2014年3月11日 简·布罗森;安德烈亚斯·赫齐格;尼古拉斯·特罗夸德 18 2006 逻辑编程的证明理论方法。一: 条款作为规则。 Zbl 0723.68028号 拉尔斯·哈伦亚斯;彼得·施罗德·海斯特 18 1990 关于具有真实常量的产品逻辑。 Zbl 1102.03030号 佩特·萨维克;罗伯托·齐尼奥利;弗朗西斯科·埃斯特瓦;路易斯·戈多;卡莱斯·诺格拉 18 2006 知识和信仰体系。 Zbl 0790.03024号 范德霍克,威比 18 1993 逻辑编程的证明理论方法。二: 程序作为定义。 Zbl 0769.68014号 拉尔斯·哈伦亚斯;彼得·施罗德·海斯特 17 1991 基于表的混合逻辑决策过程。 兹比尔1122.03006 托马斯·博兰德;托本·布吕纳 17 2006 DefLog:对初步合理假设的逻辑解释。 Zbl 1032.03507号 巴特·维尔海伊 17 2003 非传递线性时序逻辑和逻辑知识运算。 Zbl 1403.03028号 弗拉基米尔·里巴科夫。 17 2016 描述逻辑本体中的实例级更新和擦除。 Zbl 1181.68274号 朱塞佩·德·贾科莫;莫里齐奥·伦泽里尼;安东尼拉·波吉;里卡多·罗萨蒂 17 2009 作为证明理论工具的统一通信。 Zbl 1444.03055号 朱塞佩·格雷科;马明辉;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;赵志光 17 2018 循环演算和抽象资源语义介绍。 Zbl 1113.03023号 乔治·贾帕里泽 17 2006 一种基于逻辑的易于处理的概率近似。 兹伯利07686428 保罗·巴尔迪;海克尔·霍斯尼 1 2023 用于论证的通用逻辑编码。 Zbl 07686429号 菲利普·贝斯纳德;西尔维·多特;塞奥·杜沙特勒;Marie-Christine,Lagasquie-Schiex 1 2023 Isabelle/HOL中形式化的一阶逻辑的序列演算。 Zbl 07696225号 来自阿斯塔·哈尔克;安德斯·施利奇特克鲁尔;约尔根·维拉森 1 2023 渐进语义学中自攻论点的基于原则的解释。 Zbl 07669819号 费雯·博塞林克;杰罗姆·德罗贝尔;斯尔詹·维西奇 1 2023 投影类作为可访问函子的图像。 Zbl 07655497号 弗里德里希·卫龙 1 2023 观察干预:思考实验的逻辑。 Zbl 07801574号 福斯托·巴贝罗;凯特琳·舒尔茨;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。;谢凯波 1 2023 意识逻辑:克里普克格是句法和语义模型之间的中间地带。 Zbl 07801575号 盖亚·贝拉迪内利;Rasmus K·伦茨维格。 1 2023 基本模态同余和单调多格逻辑。 Zbl 07801582号 奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金 1 2023 交换动作逻辑。 Zbl 07801584号 库兹涅佐夫(Stepan L.Kuznetsov)。 1 2023 社会图表上的意见传播和竞选活动。 兹伯利07582729 彼得·法利舍夫斯基;Gonen,哥斯达黎加;马丁·库特克;尼姆罗德·塔尔蒙 4 2022 代数数据类型上约束Horn子句的可满足性:基于转换的方法。 Zbl 07486296号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2022 一元NM-代数:一元谓词幂零最小逻辑的代数方法。 Zbl 07589714号 王俊涛;何鹏飞;杨江;王梅;何晓丽 三 2022 密集可计算结构。 兹伯利07582718 韦斯利·卡尔弗特;道格拉斯·森泽;瓦伦蒂娜·哈里扎诺夫 三 2022 胶合流形的可计算性。 Zbl 07471450号 马提亚·采拉;茨万科伊尔贾佐维奇 三 2022 关于基本数学概念的计算性质。 Zbl 07638209号 达格·诺曼;桑德斯,山姆 三 2022 具有非及物模态逻辑的产品有限变量片段的复杂性。 Zbl 07589718号 米哈伊尔·里巴科夫;德米特里·什卡托夫 2 2022 基于ASP的参数化差分修正求解器。 Zbl 07582720号 阿拉瓦尼斯·提奥凡尼斯 2 2022 自组织映射的条件、模糊和概率解释。 Zbl 07486288号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;塞塞迪尔·杜普雷,丹尼尔 2 2022 加权论证框架的标记语义和强可接受性。 Zbl 07486291号 斯蒂法诺·比斯塔雷利;卡洛·塔蒂奇 2 2022 模态逻辑T和S4的真值表,通过使用三值非确定性级别语义。 兹伯利07471453 卢卡斯·格拉茨 2 2022 T、TB、S4、S5等的模块化非确定性语义。 Zbl 07471454号 Pawel,Pawlowski;埃利奥·拉罗莎 2 2022 辩证逻辑原则:不只是规则。 Zbl 07638213号 戴维·特罗塔;马蒂奥·斯帕代托;瓦莱里亚·德·佩瓦 2 2022 包含逻辑:代数对应物和简化模型。 兹伯利07589716 斯特凡诺·邦齐奥;米歇尔·普拉·巴尔迪 1 2022 可解释逻辑的无数子逻辑伊利诺伊州具有不动点性质。 Zbl 07589722号 大川,Yuya 1 2022 命题逻辑片段中的信念收缩和擦除。 Zbl 07610425号 纳迪亚·克里诺;拉达·科塔里;奥德尔·帕皮尼 1 2022 关于将Lambek演算嵌入到交换范畴文法中。 Zbl 07582715号 谢尔盖·斯拉夫诺夫 1 2022 社会网络中信息扩散的马尔可夫链模型表示。 Zbl 07582730号 路易斯·丹尼斯(Louise A.Dennis)。;傅瑜;玛丽亚·斯拉夫科维奇 1 2022 社会网络的变化:社会认知逻辑的一些动态扩展。 Zbl 07582731号 费尔南德斯·冈萨雷斯(Fernández González),萨尔 1 2022 反事实推理强逻辑的演算、反模型生成和定理证明。 Zbl 07486290号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;Stefano佩斯;Gian Luca波扎托 1 2022 严格连接剩余格的不可约变种。 Zbl 07471449号 保罗·阿格里亚诺;萨拉·乌戈里尼 1 2022 不可数环境中可计算可枚举等价关系的一阶理论。 Zbl 07471451号 尤里·安德鲁斯;斯泰芬·伦普;马纳特·穆斯塔法;诺亚·D·施韦伯。 1 2022 关于依赖和独立逻辑复杂性的参数化视图。 Zbl 07638204号 孔蒂宁,朱哈;阿恩·迈尔;亚西尔·马哈茂德 1 2022 交互式证明的逻辑。 Zbl 07638205号 大卫·莱纳;佐兰·奥格尼亚诺维奇;托马斯·施图德 1 2022 可计算性理论和逆向数学中的选择公理,附带连续体假设。 Zbl 1509.03037号 达格·诺曼;桑德斯,山姆 8 2021 受限语言中线性Kripke框架的一阶模态逻辑的算法性质。 Zbl 07398783号 米哈伊尔·里巴科夫;德米特里·什卡托夫 5 2021 关联结构和功能:计算资源的共鸣语义。 Zbl 1509.03097号 萨姆森·艾布拉姆斯基;尼希尔·沙阿 5 2021 产品有限变量片段的复杂性K. Zbl 07332113号 米哈伊尔·里巴科夫;德米特里·什卡托夫 4 2021 受限语言中有限Kripke框架的一阶超直觉逻辑的算法性质。 Zbl 1477.03028号 米哈伊尔·里巴科夫;德米特里·什卡托夫 4 2021 抽象论证与理性人。 Zbl 07332122号 提摩太·坎皮克;胡安·卡洛斯·尼维斯 4 2021 带有明确描述的量化模态逻辑的标记计算。 Zbl 07398777号 奥兰德利,尤金尼奥 4 2021 纤维相互模拟和定量推理:扩展版。 Zbl 1509.18026号 戴维·斯普伦格;胜本,Shin-ya;杰雷米·杜布特;一郎·哈索 4 2021 构造型理论中分析的一阶逻辑的完备性定理。扩展版本。 Zbl 07471462号 扬尼克·福斯特;多米尼克·柯斯特;多米尼克·韦尔 4 2021 否定是量化环境中的一种形式。 Zbl 07398787号 斯坦尼斯拉夫·斯佩兰斯基。 三 2021 非经典逻辑中Baire函数的对偶性和代数几何。 Zbl 07423156号 安东尼奥·迪·诺拉;拉彭塔,塞拉菲纳;贾科莫·伦齐 三 2021 直觉逻辑中嵌套计算和语义系统之间的对应。 Zbl 1509.03033号 蒂姆·里昂 三 2021 原子多态性的类型驻留是不可判定的。 Zbl 07332112号 M.Clarence,普罗廷 2 2021 可能性语义的算法对应和规范性。 Zbl 07332117号 赵志光 2 2021 关于经典逻辑及其对偶所包含的最强三值次协调逻辑。 Zbl 07332119号 加利福尼亚州米德尔堡。 2 2021 直觉集理论的可拓实现性。 兹伯利07332121 埃马努埃莱·弗里泰翁;迈克尔·拉特扬 2 2021 基于邻域语义的优先条件逻辑的统一标记计算。 Zbl 07398778号 玛丽安娜·吉兰多;萨拉·内格里;尼古拉·奥利维蒂 2 2021 基于分配对合剩余格的形式不一致逻辑。 Zbl 07398782号 F.埃斯特瓦。;菲加洛·奥雷拉诺,A。;弗拉米尼奥,T。;L.戈多。 2 2021 在向量空间中使用部分求值的逻辑编程的一种有效推理方法。 Zbl 07398785号 阮先生。;恰基萨卡马;大辅佐藤;井上,胜美 2 2021 直觉无限逻辑的邻域语义和标记演算。 Zbl 07423146号 泰西,马蒂奥;萨拉·内格里 2 2021 a中的计算错误和暂停普华永道(PWK)认知主体。 Zbl 07423151号 马西米利亚诺·卡拉拉;朱伟 2 2021 关于学习有限代数结构族的图灵复杂性。 Zbl 07423157号 尼古拉·巴热诺夫;卢卡·圣毛罗 2 2021 非正规模态逻辑和道义逻辑的超序列计算:反模型和最优复杂性。 Zbl 1484.03033号 蒂齐亚诺·达尔蒙特;比约恩·莱尔曼;尼古拉·奥利维蒂;伊莱恩·皮门特尔 2 2021 关于确认度的推理逻辑。 Zbl 07451583号 什伊拉·多托维奇;道德,德拉甘;佐兰·奥格尼亚诺维奇 2 2021 模态逻辑和群体极化。 兹伯利07451585 米娜·杨·佩德森;斯梅茨,索尼娅;托马斯·奥戈特内斯 2 2021 稀疏随机关系结构上一阶句子的概率:随机CNF公式可定义性的应用。 Zbl 07332114号 拉扎罗·阿尔贝托·拉罗里 1 2021 超算术理论的算子代数。 Zbl 07332120号 艾萨克·戈德布尔;布拉德·哈特 1 2021 模态逻辑中关于策略投票的推理很快变得无法确定。 Zbl 07399897号 埃里克·帕尔曼;托马斯·奥戈特内斯 1 2021 直觉主义的多智能体对信仰和知识的亚原子自然演绎。 Zbl 07398772号 巴托斯·威考斯基 1 2021 通过内射嵌套序列对中间逻辑进行插值。 Zbl 07398774号 罗马库兹涅茨;比约恩·莱尔曼 1 2021 具有分离连接的模态逻辑的内部证明计算。 Zbl 07398775号 斯特凡·德姆里;劳尔·费尔瓦里;阿莱西奥·曼苏蒂 1 2021 分离逻辑的标记循环证明。 Zbl 07398776号 迪迪埃·加米歇;丹尼尔·梅里 1 2021 关于合取度和准度的注释。 Zbl 07398786号 伊拉克奇塔亚;罗兰·奥马纳泽;安德烈·索比 1 2021 处理部分预排序本体中的不一致性:Elect方法。 Zbl 07398788号 Belabbes,Sihem教堂;塞勒姆·本费哈特;简·乔米奇 1 2021 步骤和轨迹。 Zbl 1509.18003号 罗特,尤里安;巴特·雅各布斯;莱维,保罗·布莱恩 1 2021 直觉主义时序逻辑的一种强完备公理化。 Zbl 1489.03006号 索马耶·乔波赫鲁;莫蒂扎·莫尼里 1 2021 实数计算的递归理论基础。 Zbl 07423148号 Ng,Keng Meng女士;纳扎宁·塔瓦纳。;杨,岳 1 2021 保守性和可解释性逻辑的拓扑语义。 Zbl 07423150号 岩田,Sohei;Kurahashi、Taishi 1 2021 子结构询问逻辑的认识论扩展。 Zbl 07423154号 潘奇阿,维特;伊戈尔·塞德拉尔 1 2021 反馈超跳。 Zbl 1509.03134号 Juan P.阿奎莱拉。;罗伯特·卢巴斯基。 1 2021 不确定世界的知识:具有逻辑约束的编程。 Zbl 1509.68038号 刘燕红A。;斯科特·斯托勒。 1 2021 谢弗框架中绑架的参数化复杂性。 Zbl 1509.68111号 亚西尔·马哈茂德;阿恩·迈尔;约翰·施密特 1 2021 直觉主义模态逻辑及其谓词扩展的范畴和代数方面。 Zbl 1510.03011号 丹尼尔·罗戈津 1 2021 常识模态谓词逻辑中的框架可定义性、规范性和截消。 Zbl 07451573号 高弘佐崎;胜彦三野 1 2021 集体信念。 兹伯利07451574 Ågotnes,托马斯;Wáng,YN。 1 2021 信号游戏中的模糊性和上下文学习。 Zbl 07451575号 唐丽萍 1 2021 用于定理证明的连续向量表示的研究。 Zbl 07451578号 普加、斯坦尼斯·瓦夫;朱利安·帕塞特;塞萨里·卡利西克 1 2021 证据的半环。 Zbl 07451579号 迈克尔·鲍尔;托马斯·施图德 1 2021 用合理性和可行性约束来保证抽象论证框架的可接受性。 兹伯利07451581 陈伟伟 1 2021 认知规范的语言(精炼),包括原型求解器。 Zbl 1489.68272号 帕特里克·卡尔;理查德·沃森;叶夫根尼·巴莱;迈克尔·盖尔芬德;张元林 14 2020 可计算性理论和逆向数学中的开集。 Zbl 1472.03012号 达格·诺曼;桑德斯,山姆 14 2020 最优稳定模型搜索:算法和实现。 Zbl 1487.68206号 马里奥·阿尔维亚诺;卡明·多达罗;若昂·西尔瓦侯爵;弗朗西斯科·里卡 9 2020 主教空间的嵌入。 Zbl 1515.03224号 艾奥西夫·彼得拉基斯 8 2020 断开连接:可定义链接删除的模式逻辑。 Zbl 1509.03072号 李大竹 6 2020 受限语言中有限Kripke框架的一阶模态逻辑的算法性质。 Zbl 07285871号 米哈伊尔·雷巴科夫;德米特里·什卡托夫 5 2020 论统一信念的修正。 Zbl 1464.03014号 阿拉瓦尼斯·提奥凡尼斯 5 2020 非标准分析的不合理有效性。 Zbl 1516.03023号 桑德斯,山姆 4 2020 一些形式不一致逻辑的一阶交换结构语义。 Zbl 07285868号 马塞洛·科尼格里奥(Marcelo E.Coniglio)。;阿尔多·菲加洛·奥雷拉诺;Ana C.Golzio。 三 2020 谓词模态逻辑中的递归可枚举性和基本框架可定义性。 兹伯利1515.03106 米哈伊尔·里巴科夫;德米特里·什卡托夫 三 2020 调和Lambek的限制、削减和指数形式下的替代。 Zbl 1515.03220号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 三 2020 概率论证逻辑。 Zbl 1515.03073号 艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德 三 2020 抽象论证中不同类型的集体攻击:SETAF的等价结果。 Zbl 1509.68245号 沃尔夫冈·德沃亚克;安娜·拉贝格;斯特凡·沃尔特兰 三 2020 非循环属性的声明性编码。 Zbl 1487.68222号 马丁·格布瑟;汤米·詹胡宁;尤西·林塔南 2 2020 建立了逻辑规则的语义和约束语义。 Zbl 07285901号 刘燕红A。;斯科特·斯托勒。 2 2020 普雷斯伯格算法本身的多维解释。 兹比尔07285903 费多尔·帕克霍莫夫;亚历山大·扎普里阿盖夫 2 2020 概念表示的有序模型。 Zbl 07285864号 迈克尔·弗伦德 2 2020 幂Kripke-Platek集理论和选择公理。 Zbl 1515.03201号 迈克尔·拉特扬 2 2020 …还有1072个文档 所有引用出版物 前5名被引用出版物 全部的 前5名5182位作者引用 45 Dov M.加巴伊。 40 路易斯·戈多 37 安吉洛·蒙塔纳里 34 海因里希·西奥多·万辛 32 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 32 汉斯·皮特·范·迪特马什 30 诺里希罗·卡米德 29 奥费尔·阿列利 29 阿诺·阿夫隆 28 托马斯·艾特 27 佐兰·奥格尼亚诺维奇 26 斯特凡·沃尔特兰 25 亚历山德拉·帕尔米吉亚诺 24 古拉姆·贝扎尼什维利 24 曼纽尔·博迪尔斯基 24 圭多·西亚维科 23 弗朗西斯科·埃斯特瓦 23 瓦伦丁·F·戈兰科。 23 罗莎莉,伊姆霍夫 23 佛朗哥·蒙塔格纳 23 吉列尔莫·里卡多·西马里 22 菲利普·巴尔比亚尼 21 尼克·贝扎尼什维利 21 托马索·弗拉米尼奥 21 乔治·梅特卡夫 21 戴尔·艾伦·米勒 21 卢茨·施罗德 21 van Benthem,Johan F.A.K。 21 安娜·扎曼斯基 20 莱拉·阿姆古德 20 蝉蜕、阿加塔 20 威廉·康雷迪 20 克莱尔·狄克逊 20 尼古拉斯·佩尔蒂埃 20 马克·亚历山大·雷诺兹 20 翁贝托·里维奇奥 20 萨拉,彼得罗 19 拉迪姆·Bělohlávek 19 斯特凡·德姆里。 19 迪亚科内斯库,勒兹万 19 大卫·J·派姆。 19 克里斯托夫·韦登巴赫 18 安东尼·亨特 18 卡洛斯·奥拉特 18 伊莱恩·皮门特尔 18 克里斯蒂娜·塞尔纳达斯。 17 贾斯敏·克里斯蒂安·布兰切特 17 安德烈亚斯·赫齐格 17 乌尔里希·赫斯塔特 17 埃米利亚诺·洛里尼 17 谢尔盖·奥丁佐夫。 17 弗朗西斯科·保利 17 范德托雷,Leendert W.N。 16 迪迪埃·加米歇 16 卡莱斯·诺格拉 16 尼古拉·奥利维蒂 16 阿德里亚诺·佩隆 16 乔安·拉斯加 15 Franz巴德 15 劳拉·博泽利 15 彼得·辛图拉 15 乔治·贾帕里泽 15 阮林安 15 弗朗西丝卡·托尼 15 维尼马,伊德 15 阿尔伯特·维瑟 15 乌韦·沃尔德曼 15 弗兰克·沃尔特 15 迈克尔·J·伍尔德里奇。 14 卢卡·埃特罗 14 托马斯·奥戈特内斯 14 娜塔莎·亚历奇纳 14 卡洛斯·阿雷塞斯 14 彼得罗·巴罗尼 14 马蒂奥·比安奇 14 迈克尔·费希尔 14 装配,梅尔文·克里斯 14 默多克·詹姆斯·加贝 14 马西米利亚诺·贾科明 14 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 14 托马索·莫拉希尼 14 弗兰克·芬宁 14 弗洛里安·拉贝 14 托尔斯滕·绍布(Torsten H.Schaub)。 14 雷娜特·施密特(Renate A.Schmidt)。 14 范德霍克,威比 14 费尔南多·雷蒙多(Fernando Raymundo) 14 托马斯·维特莱恩 13 玛丽亚·保拉(Maria Paola Bonacina) 13 大卫·布雷索林 13 Broersen,Jan M。 13 保罗·E·邓恩。 13 大卫·费尔南德斯·杜克 13 格奥尔格·戈特洛布 13 Ingólfsdóttir,安娜 13 尼古拉·利昂 13 阿恩·迈尔 13 帕维尔·G·瑙莫夫。 13 萨拉·内格里 13 Vivek Nigam先生 …还有5082名作者 全部的 前5名257种期刊被引用 325 人工智能 323 理论计算机科学 248 逻辑研究 194 纯逻辑与应用逻辑年鉴 176 应用非经典逻辑杂志 154 信息与计算 149 国际近似推理杂志 133 哲学逻辑杂志 125 数学与人工智能年鉴 121 自动推理杂志 119 模糊集与系统 114 逻辑、语言和信息杂志 113 应用逻辑杂志 107 合成 105 符号逻辑杂志 95 计算机科学中的逻辑方法 93 符号逻辑述评 92 MSCS公司。计算机科学中的数学结构 78 数学逻辑档案 70 逻辑程序设计理论与实践 51 软计算 50 泛逻辑 49 ACM计算逻辑事务 46 信息科学 44 圣母院形式逻辑杂志 44 程序设计中的逻辑和代数方法杂志 41 计算机与系统科学杂志 38 《数理逻辑季刊》 37 计算的形式方面 33 代数普遍性 32 逻辑与逻辑哲学 31 符号逻辑公报 29 符号计算杂志 27 信息处理信件 27 系统设计中的形式化方法 23 代数与逻辑 22 逻辑科公报 21 信息学报 21 逻辑与代数程序设计杂志 20 计算系统理论 17 人工智能研究杂志 14 函数编程杂志 13 西伯利亚数学杂志 13 社会选择与福利 13 埃尔肯特尼斯 13 Logicheskie Issledovaniya公司 11 SIAM计算机杂志 11 订单 11 高阶和符号计算 11 计算机基础理论 9 纯粹与应用代数杂志 9 欧洲组合数学杂志 9 新一代计算 9 吉泰。实验与理论人工智能杂志 9 国际计算机科学基础杂志 9 托波伊 9 可计算性 8 离散应用数学 8 国际理论物理杂志 8 应用的分类结构 8 洛巴切夫斯基数学杂志 7 美国数学学会会刊 7 机器学习 7 数学科学杂志(纽约) 7 数学逻辑杂志 7 SibirskieÉlektronnye Matematicheskie Izvestiya 6 国际通用系统杂志 6 斯洛伐克数学 6 美国数学学会会刊 6 理论与决策 6 国际智能系统杂志 6 计算机语言、系统和结构 6 多值逻辑与软计算杂志 6 计算机科学前沿 5 代数杂志 5 经济理论杂志 5 数学社会科学 5 逻辑历史与哲学 5 算法 5 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 5 国际计算机数学杂志 5 数学百科全书。新系列 5 约束条件 5 RAIRO公司。理论信息学及其应用 5 国际不确定性、模糊性和基于知识的系统杂志 5 伊朗模糊系统杂志 5 RAIRO公司。理论信息学及其应用 4 以色列数学杂志 4 计算机程序设计科学 4 人工智能通信 4 离散事件动态系统 4 游戏与经济行为 4 俄罗斯数学 4 LMS计算与数学杂志 4 自然计算 4 Oberwolfach报告 4 计算机科学评论 4 开放数学 4 西伯利亚联邦大学学报。数学和物理 三 离散数学 …还有157种期刊 全部的 前5名52个领域被引用 3,776 数学逻辑和基础(03-XX) 3,317 计算机科学(68-XX) 334 阶、格、有序代数结构(06-XX) 255 博弈论、经济学、金融和其他社会和行为科学(91-XX) 123 范畴理论;同调代数(18-XX) 105 一般代数系统(08-XX) 68 组合数学(05-XX) 57 一般拓扑结构(54至XX) 41 量子理论(81-XX) 38 总体主题;集合(00-XX) 38 历史和传记(01-XX) 37 概率论与随机过程(60-XX) 32 运筹学、数学规划(90-XX) 32 信息和通信理论,电路(94-XX) 31 群论与推广(20-XX) 28 系统论;控制(93至XX) 24 生物学和其他自然科学(92-XX) 22 统计学(62-XX) 17 数值分析(65-XX) 13 测量和集成(28-XX) 13 几何图形(51至XX) 12 结合环与代数(16-XX) 11 线性代数和多线性代数;矩阵理论(15-XX) 11 代数拓扑(55-XX) 9 交换代数(13-XX) 8 常微分方程(34-XX) 8 凸和离散几何(52-XX) 7 功能分析(46倍X倍) 6 数论(11-XX) 6 实际功能(26年X月X日) 6 算子理论(47-XX) 5 动力系统和遍历理论(37至XX) 4 场论和多项式(12-XX) 4 相对论和引力理论(83至XX) 三 拓扑群、李群(22日至XX日) 三 偏微分方程(35-XX) 三 微分几何(53至XX) 三 整体分析,流形分析(58-XX) 三 数学教育(97-XX) 2 代数几何(14-XX) 2 复变量的函数(30年XX月) 2 差分和函数方程(39至XX) 2 流形和细胞复合体(57-XX) 2 粒子和系统力学(70-XX) 2 流体力学(76-XX) 1 非结合环和代数(17-XX) 1 势能理论(31日至XX日) 1 积分变换,运算微积分(44-XX) 1 积分方程(45-XX) 1 变分法与最优控制;最优化(49至XX) 1 经典热力学,传热(80-XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文