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