逻辑、语言与信息杂志欧洲逻辑、语言和信息协会官方期刊 简短标题： J.逻辑语言信息。 出版商： 施普林格荷兰，多德雷赫特 国际标准编号： 0925-8531; 1572-9583/年 在线： https://link.springer.com/journal/10849/volumes-and-issues网站 评论： 期刊；索引封面到封面 已编制索引的文档： 609出版物（自1992年起） 索引的引用： 420份出版物参考文献13036。 全部的 前5名最新问题 32，编号5（2023） 32，编号4（2023） 32，编号3（2023） 32，编号2（2023） 32，编号1（2023） 31，编号4（2022） 31，编号3（2022） 31，编号2（2022） 31，编号1（2022） 30，编号4（2021） 30，第3期（2021年） 30，编号2（2021） 30，编号1（2021） 29，第4期（2020年） 29，第3期（2020年） 29，第2期（2020年） 29，第1期（2020年） 28，第4号（2019） 28，第3号（2019） 28，第2号（2019） 282019年第1期 27，第4号（2018） 27，第3号（2018） 27，第2号（2018） 272018年第1期 262017年第4号 26，第3号（2017） 262017年第2期 262017年第1期 252016年第3-4号 252016年第2期 252016年第1期 242015年第4号 242015年第3期 242015年第2期 242015年第1期 232014年第4号 232014年第3期 232014年第2期 232014年第1期 222013年第4号 222013年第3期 22，第2号（2013年） 222013年第1期 21，第4号（2012年） 212012年第3号 212012年第2期 212012年第1期 202011年第4号 202011年第3期 202011年第2期 202011年第1期 192010年第4期 192010年第3期 192010年第2期 192010年第1期 182009年第4期 182009年第3期 182009年第2期 182009年第1期 172008年第4号 172008年第3号 172008年第2期 172008年第1期 162007年第4号 162007年第3号 162007年第2期 162007年第1期 152006年第4号 152006年第3期 152006年第1-2号 142005年第4号 142005年第3期 142005年第2期 142005年第1期 132004年第4期 132004年第3期 132004年第2期 132004年第1期 12，第4号（2003） 122003年第3期 122003年第2期 12，第1期（2003） 112002年第4期 11，第3期（2002年） 112002年第2期 11，第1期（2002年） 102001年第4号 10，第3号（2001） 102001年第2期 10，第1号（2001年） 92000年第4期 92000年第3期 92000年第2期 92000年第1期 8，第4号（1999） 8，第3号（1999） 8，第2号（1999年） 8，第1期（1999年） 7，第4号（1998年） …还有24卷 全部的 前5名作者 9 杰玛·罗伯斯 8 Dov M.加巴伊。 8 何塞·梅恩德斯。 7 娜塔莎·亚历奇纳 7 马尔滕·德·里杰克 7 Sven Ove汉森 7 van Benthem，Johan F.A.K。 6 帕特里克·布莱克本 6 尼西姆·弗朗西兹 6 诺里希罗·卡米德 5 托马斯·奥戈特内斯 5 斯特吉奥斯查齐基里亚基迪斯 5 Fairouz D.卡马雷丁。 5 Makoto金泽 5 埃米利亚诺·洛里尼 5 克里斯蒂安·雷托雷 5 范德霍克，威比 5 汉斯·皮特·范·迪特马什 5 温特，尤德 4 托本·布吕纳 4 约翰·坎特威尔（John C.Cantwell）。 4 瓦伦丁·F·戈兰科。 4 朱哈·科廷宁 4 杰弗里·布鲁斯，巴黎 4 伊恩·普拉特·哈特曼 4 简·特雷尔 4 Väänänen，Jouko Antero 4 罗伯特·范·鲁伊 4 费尔南多·雷蒙多（Fernando Raymundo） 4 韦布鲁克（Rineke Verbrugge） 4 阿尔伯特·维瑟 4 Shuly Wintner公司 三 Stéphane P.德姆里。 三 乔里·恩格弗里特 三 Sean A.Fulop。 三 鲁斯塔姆·加利姆林 三 尼娜·吉拉西姆祖克 三 劳埃德·亨伯斯通 三 贾格尔，格哈德 三 马蒂亚·贾姆尼克 三 巴特尔·皮特·库伊 三 马库斯·克拉希特 三 约阿希姆·兰贝克 三 罗朝晖 三 马尔滕·马克思 三 Koji县Mineshima 三 理查德·穆特 三 劳伦斯·莫斯。 三 彼得·帕金 三 阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen） 三 安妮·普雷勒 三 利维奥·罗巴尔多 三 凯特琳·舒尔茨 三 Atsushi岛岛岛 三 约夫·肖姆 三 斯台普顿，宝石 三 贾库布·西曼尼克 三 费尔南多·托梅。 三 范·艾伊克（Jan van Eijck） 三 阿莱纳·芬科夫斯卡 三 C.F.M.弗默伦。 三 海因里希·西奥多 三 达格·韦斯特斯特尔 三 乔恩·威廉姆森 2 瓦罗尔·阿克曼 2 尼古拉斯·M·阿什。 2 克里斯·巴克 2 吉拉德·本·阿维 2 拉斐拉·伯纳迪 2 Jean-Philippe Bernardy 2 亚历山大·波奇曼 2 古斯塔沃·阿德里安·博丹萨 2 卡塔琳娜·布里茨 2 沃伊切赫·巴斯科夫斯基 2 阿拉斯泰尔·巴特勒 2 丹尼尔·奇菲 2 周嘉发 2 蝉蜕、阿加塔 2 罗宾·库珀 2 菲利普·德格罗特 2 保罗·J·E·德克尔。 2 鸡蛋，马库斯 2 弗雷德里克·恩格斯特伦 2 爱德华多·利奥波多·费尔梅 2 蒂姆·费尔南多 2 马塞洛·芬格 2 迈克尔·弗兰克 2 彼得·加德福斯 2 加登特，克莱尔 2 威廉·格罗内维尔德 2 埃尔比塔·哈尼茨 2 约翰内斯·海德玛 2 劳里·T·海拉。 2 安德烈亚斯·赫齐格 2 马尔科·霍伦伯格 2 丰弘Hoshi 2 Theo M.V.詹森。 2 Ju、Fengkui 2 Dariusz Kalociñski 2 露丝·肯普森 …还有626位作者 全部的 前5名领域 509 数学逻辑和基础（03-XX） 251 计算机科学（68至XX） 98 博弈论、经济学、金融和其他社会和行为科学（91-XX） 27 总体主题；集合（00-XX） 8 历史和传记（01-XX） 6 有序，格，有序代数结构（06-XX） 5 信息与通信理论、电路（94-XX） 4 统计学（62-XX） 三 量子理论（81-XX） 三 生物学和其他自然科学（92-XX） 2 群论与推广（20-XX） 2 概率论与随机过程（60-XX） 2 数学教育（97-XX） 1 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 1 运筹学、数学编程（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 397出版物有被引用2450中的次1819文件 引用人▼ 年份▼ 逻辑双参数推理。 Zbl 0851.03017号 奥费尔·阿列利;阿诺·阿夫隆 111 1996 关于信息变更的推理。 Zbl 0873.03029号 杰尔·格布兰迪;威廉·格罗内维尔德 91 1997 基于知识的消息语义。 Zbl 1031.03021号 罗希特·帕里赫;拉马努贾姆，拉马斯瓦米 61 2003 依赖逻辑中的可定义性。 Zbl 1182.03063号 朱哈·科廷宁;Väänänen，佐科 45 2009 多重收缩的调查。 Zbl 0791.03014号 安德烈·福尔曼;斯文·奥夫·汉森 45 1994 命题模糊逻辑的代数方法。 Zbl 0942.06006号 佛朗哥·蒙塔格纳 43 2000 混合语言。 Zbl 0847.03009号 帕特里克·布莱克本;杰里·塞利格曼 42 1995 逻辑几何和对立方格中的信息。 兹比尔1306.03005 汉斯·斯梅萨特;洛伦兹·德米 40 2014 向逻辑系统添加时间维度。 Zbl 0798.03031号 手指，马塞洛;Dov M.加巴伊。 37 1992 非参数预测推理与客观贝叶斯主义。 Zbl 1100.62057号 F.P.A.库伦。 36 2006 利用广义认知巩固改变偏好信念。 Zbl 0794.03039号 汉斯·罗特 33 1992 作为流程模型的广泛游戏。 Zbl 1003.03530号 约翰·范·本特姆 30 2002 知识驱动逻辑与数据驱动逻辑。 Zbl 0942.03023号 迪迪埃·杜布瓦;彼得·哈耶克;亨利·普拉德 29 2000 超控制、广义真值和真与假的逻辑。 兹比尔1159.03302 雅罗斯拉夫·什兰科;海因里希·瓦辛 28 2006 多模态语言推理。 Zbl 0919.03023号 迈克尔·穆尔特加特 27 1996 关于语境的表达。 Zbl 0892.03009号 罗伯特·斯坦纳克 27 1998 一阶话语表示结构的微积分。 Zbl 0865.03018号 汉斯·坎普;乌韦·雷尔 26 1996 Lambek演算丰富了附加连接词。 Zbl 0793.03028号 Makoto金泽 26 1992 概率动态认知逻辑。 Zbl 1031.03044号 Barteld P.Kooi。 26 2003 带有引用指针的模态和时序逻辑的层次结构。 Zbl 0851.03003号 瓦伦丁·戈兰科 25 1996 依赖逻辑中的广义量词。 Zbl 1305.03024号 弗雷德里克·恩格斯特罗姆 25 2012 信念修正：批判。 Zbl 0949.03017号 尼尔·弗里德曼;约瑟夫·霍尔珀（Joseph Y.Halpern）。 23 1999 tableaux是对真实数据的改进吗？无裁剪证明和二价。 Zbl 0793.03059号 达戈斯蒂诺，马塞洛 23 1992 兰贝克演算及其关系语义：完全性和不完全性。 Zbl 0808.03003号 哈伊纳尔·安德雷卡;米库拉斯（Mikulás，Szabolcs） 22 1994 带有计数量词的双变量片段的复杂性。 兹比尔1082.03007 伊恩·普拉特·哈特曼 22 2005 广义量词的双组语义。 兹比尔1350.03025 安蒂·库西斯托 22 2015 位移演算。 Zbl 1233.03035号 格林·莫里尔;奥利奥尔·瓦伦廷;马里奥·法达 20 2011 广义量词和模态逻辑。 Zbl 0797.03014号 范德霍克，威比;马尔滕·德·里杰克 18 1993 有限结构上的模态逻辑。 兹伯利0882.03014 埃里克·罗森 18 1997 无限值Łukasiewicz逻辑的有限性。 Zbl 0951.03024号 斯特凡诺·阿古佐利;蝉蜕、阿加塔 17 2000 组合的形式特征。 Zbl 0963.03050号 威尔弗里德·霍奇斯 17 2001 基于规则的代理的认识逻辑。 Zbl 1159.03010号 马克·贾戈 16 2009 代理的动态逻辑。一： STIT、能力和权力。 Zbl 1189.03025号 安德烈亚斯·赫齐格;埃米利亚诺·洛里尼 16 2010 间断闭合基的变化。 Zbl 0798.03029号 斯文·奥夫·汉森 16 1993 通过一阶逻辑用逆确定正则语法逻辑。 Zbl 1083.03023号 斯特凡·德姆里;汉斯·德·尼维尔 16 2005 具有差分和逆的混合逻辑的终止表系统。 Zbl 1188.03013号 马克·卡明斯基;格特·斯莫尔卡 14 2009 游戏动作的描述。 Zbl 1003.03014号 van Ditmarsch，Hans P。 14 2002 子结构命题逻辑的信息解释。 Zbl 0795.03014号 海因里希·瓦辛 14 1993 反事实和反模式更新。 Zbl 0921.03035号 马克·瑞恩;皮埃尔·伊夫·肖本斯 14 1997 二元模态的可判定和不可判定逻辑。 Zbl 0840.03014号 阿涅斯·库鲁茨;伊斯坦·内梅蒂;伊尔迪科·塞恩;安德烈斯·西蒙 13 1995 分支时间的转换语义。 Zbl 1396.03027号 安杰伦伯格 13 2016 认知程序的时间语言。 Zbl 1184.03010号 约书亚·萨克 12 2008 独立选择和IF逻辑解释。 Zbl 1003.03025号 Theo M.V.詹森。 12 2002 一阶混合逻辑的自然演绎。 Zbl 1068.03016号 布尔纳，托尔本 12 2005 条件概率符合更新逻辑。 Zbl 1031.03045号 约翰·范·本特姆 12 2003 时序逻辑的互模拟。 Zbl 0882.03017号 娜塔莎·库托尼娜;马尔滕·德·里杰克 12 1997 过渡系统的逻辑。 Zbl 0827.03019号 约翰·范·本特姆;伯格斯特拉（Jan Bergstra） 12 1995 内隐和外显信念的动态认知逻辑。 Zbl 1306.03009号 费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。 12 2014 信息的有效表示：观测优势的正式说明。 Zbl 1368.68294号 斯台普顿，宝石;马蒂亚·贾姆尼克;Atsushi岛岛岛 12 2017 儿童思维理论在推理和语言中的应用。 Zbl 1157.91441号 米歇尔·玛丽安·利斯贝斯·弗洛布;韦布鲁克（Rineke Verbrugge）;佩特拉·亨德里克斯;艾琳·克雷默 11 2008 关于正负知识知识库的合理闭合的注记。 Zbl 0906.03026号 R·布斯。;巴黎，J.B。 11 1998 带有欧拉圆的图解推理系统。 Zbl 1305.03014号 Koji县Mineshima;冈田三弘;柳竹村 11 2012 疑问语义学中的弱否定。 兹比尔1369.03108 潘奇阿，维特 11 2015 建构逻辑的隐含认知方面。 Zbl 0873.03003号 戈兰Sundholm 11 1997 谈论命题语言中的及物框架。 Zbl 0927.03036号 铃木、安仁;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 11 1998 弱一致性的基本构造逻辑。 Zbl 1173.03027号 杰玛·罗伯斯;何塞·梅恩德斯。 10 2008 模态子结构逻辑的克里普克语义。 Zbl 1017.03011号 诺里希罗·卡米德 10 2002 语言片段。 兹伯利1046.03014 伊恩·普拉特·哈特曼 10 2004 活性剂。 Zbl 1031.03009号 文森特·亨德里克斯。 10 2003 向关注的代理发布公告。 Zbl 1352.03021号 托马斯·博兰德;汉斯·范·迪特马什;安德烈亚斯·赫齐格;埃米利亚诺·洛里尼;佩雷·帕尔多;弗朗索瓦州施瓦岑特鲁伯 10 2016 近似常识和协调：博弈论的最新教训。 Zbl 0877.68105号 斯蒂芬·莫里斯;申贤松 10 1997 通过预组语法实现语篇表征。 Zbl 1160.03307号 安妮·普雷勒 9 2007 精细的认知巩固。 Zbl 0988.03031号 托马斯·安德烈亚斯·迈耶;威廉·阿德里安·拉布沙根;约翰内斯·海德玛 9 2000 推理行动和改变。动态逻辑方法。 Zbl 0864.03019号 赫尔穆特·普伦丁格;格哈德·舒尔茨 9 1996 不一致集的两个信息测度。 Zbl 1015.03035号 凯文·奈特。 9 2003 属性值语法计算复杂性的模态观点。 Zbl 0793.03018号 帕特里克·布莱克本;伊迪丝·斯潘 9 1993 动态谓词逻辑的序列语义。 Zbl 0802.03024号 弗默伦，C.F.M。 9 1993 关于具有否定、函数不确定性和排序方程的特征逻辑的表示性。 Zbl 0788.68131号 弗兰兹·巴德;汉斯·尤根·伯克特;伯恩哈德·内贝尔;沃纳·纳特;格特·斯莫尔卡 9 1993 动态否定和关系合成的等式公理化。 Zbl 0882.03065号 马尔科·霍伦伯格 9 1997 容差逻辑。 Zbl 1045.03031号 马尔滕·马克思 9 2001 一阶直觉线性逻辑的语言应用。 Zbl 0984.03028号 理查德·穆特;马里奥广场 9 2001 图形游戏中的信息跟踪。 Zbl 1203.91033号 迪特马尔·伯旺格;凯撒，乌卡斯 9 2010 削减并支付。 Zbl 1108.03034号 马塞洛·芬格;Dov Gabbay公司 8 2006 代理人玩的游戏：自治代理人之间对话的正式框架。 Zbl 1002.68166号 彼得·麦克伯尼;西蒙·帕森斯 8 2002 恢复和认知残留物。 Zbl 0946.03019号 斯文·奥夫·汉森 8 1999 纤维化非真实功能逻辑：完整性保持。 Zbl 1015.03010号 加利福尼亚州卡莱罗。;卡尼埃利，W.A。;科尼格里奥，M.E。;塞尔纳达斯，A。;塞尔纳达斯，C。 8 2003 科尔莫戈洛夫复杂性与信息论。根据问题和答案进行解释。 Zbl 1034.68051号 彼得·格伦瓦尔德（Peter D.Grünwald）。;保罗·M·B·维坦尼。 8 2003 混合逻辑的两个自然演绎系统：比较。 Zbl 1039.03008号 布尔纳，托尔本 8 2004 论抽象范畴语法的表达能力：表现无语境形式主义。 Zbl 1062.03024号 菲利普·德格罗特;西尔万·波戈达拉 8 2004 对复杂句子的详尽解释。 Zbl 1062.03025号 罗伯特·范·罗伊;凯特琳·舒尔茨 8 2004 有限树理论的一阶公理化。 Zbl 0833.03010号 罗尔夫·巴科芬;詹姆斯·罗杰斯;Vijay-Shanker，K。 8 1995 句法代码和语法精炼。 Zbl 0833.03009号 马库斯·克拉希特 8 1995 战略推理：根据逻辑公式建立认知模型。 Zbl 1305.91051号 苏加塔·戈什;本·梅杰林;韦布鲁克（Rineke Verbrugge） 8 2014 关于存在语句的维恩图表示。 Zbl 1350.03013号 阿米鲁什·莫克特菲;阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen） 8 2015 代理的动态逻辑。二： 确定性、联盟逻辑和博弈论。 Zbl 1211.03039号 埃米利亚诺·洛里尼 8 2010 用真函数模态算子加强Brady的次协调四值逻辑BN4。 Zbl 1396.03045号 何塞·梅恩德斯。;杰玛·罗伯斯 8 2016 分支时间逻辑中不可分割和不可区分的历史。 Zbl 0921.03024号 阿尔贝托·扎纳多 8 1998 学习应用心智理论。 Zbl 1157.91442号 米歇尔·玛丽安·里内克（Michiel Marian Rineke）;摩尔，莉塞特 7 2008 树邻接文法和一元线性无上下文树文法的等价性。 Zbl 1274.68151号 斯蒂芬·凯普瑟;吉姆·罗杰斯 7 2011 关于自动进行算术参数的图解证明。 Zbl 0941.03008号 贾姆尼克，马泰贾;阿兰·邦迪;格林，伊恩 7 1999 德布鲁因数学形式语言的精化。 Zbl 1048.03011号 费尔鲁兹Kamareddine;罗伯·奈德佩尔特 7 2004 子结构逻辑与混合。 Zbl 1003.03019号 诺里希罗·卡米德 7 2002 居留、结构规则和上下文无关。 Zbl 1039.03018号 贾格尔，格哈德 7 2004 论理论变革的逻辑：收缩而不恢复。 Zbl 0905.03011号 爱德华多·费尔梅。 7 1998 解决冲突信息。 兹伯利0897.03027 约翰·坎特威尔 7 1998 “可能”的更新。 Zbl 0887.03022号 范德多斯，雅普;威廉·格罗内维尔德;弗兰克·维尔特曼 7 1997 弗雷格、语境和组合。 Zbl 0961.03003号 Theo M.V.詹森。 7 2001 关于无意识知识的推理逻辑。 Zbl 1311.03032号 托马斯·奥戈特内斯;娜塔莎·亚历奇纳 7 2014 Speedith：蜘蛛图推理器。 Zbl 1362.68252号 马特伊·乌尔巴斯;马蒂亚·贾姆尼克;斯台普顿，宝石 7 2015 有限可加性信念的概率逻辑。 Zbl 1204.03027号 周春来 7 2010 二阶命题模态逻辑的模态松散保护片段。 Zbl 07726399号 Gennady Shtakser公司 2 2023 基于概率修正的AGM迭代修正。 Zbl 07753645号 斯文·奥夫·汉森 1 2023 带有动作模型的认知分离逻辑。 兹伯利07727821 汉斯·范·迪特马什;迪迪埃·加米歇;玛尔塔·加威克 1 2023 信念修正和计算论证：批判性比较。 Zbl 1515.68298号 彼得罗·巴罗尼;爱德华多·费尔梅;马西米利亚诺·贾科明;吉列尔莫·里卡多·西马里 2 2022 过滤信念修正：语法和语义。 Zbl 1516.03009号 贾科莫·博纳诺 2 2022 隐喻保守性。 Zbl 1515.03144号 R.祖伯。 1 2022 具有群组公告和分布式知识的逻辑：完整性和表达能力。 Zbl 1515.03068号 托马斯·奥戈特内斯;娜塔莎·亚历奇纳;鲁斯塔姆·加利姆林 1 2022 IDL-PMCFG，一种描述自由语序语言的语法形式主义。 Zbl 1515.68155号 弗朗索瓦·赫布利特 1 2022 对Beall的“离题”语义的重新解释。 Zbl 1515.03122号 杰里米亚·乔文·乔金（Jeremiah Joven B.Joaquin）。 1 2022 可能性和并元偶然性。 Zbl 1515.03105号 克劳迪奥·皮齐。 1 2022 探究命题动态逻辑。 Zbl 1496.03135号 潘奇阿，维特;伊戈尔·塞德拉尔 4 2021 联盟和相对论团体公告逻辑。 Zbl 1515.03070号 鲁斯塔姆·加利姆林 4 2021 问答式一阶逻辑经典先行词片断的完备性。 Zbl 1496.03121号 吉安卢卡·格里莱蒂 2 2021 具有次指数和括号形式的乘法加法Lambek演算。 Zbl 1496.03087号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 2 2021 带经典否定的扩展Belnap-Dunn逻辑的模态和直觉变体。 Zbl 1515.03097号 诺里希罗·卡米德 2 2021 联盟公告逻辑的验证和策略合成。 Zbl 1496.03066号 娜塔莎·亚历奇纳;汉斯·范·迪特马什;鲁斯塔姆·加利姆林;王拓 1 2021 行动的可执行性。 Zbl 1496.03114号 贾纳斯·Czelakowski 1 2021 回指的计算处理及其算法实现。 Zbl 1496.03057号 Jean-Philippe Bernardy;斯特吉奥斯查齐基里亚基迪斯;Aleksandre Maskharashvili 1 2021 一个基本的对偶直觉逻辑及其在\（\mathrm）中的一些扩展{G} 3个_{\mathrm{DH}}\）。 兹比尔1496.03110 杰玛·罗伯斯;何塞·梅恩德斯。 1 2021 亚原子否定。 Zbl 1496.03030号 巴托斯·威考斯基 1 2021 动态语法。增量处理的动态：对未指定的约束。 Zbl 1517.03031号 克莉丝汀·豪斯;汉娜·吉布森 1 2021 Kleene强逻辑的一类蕴涵展开，其一个子类通过Łukasiewicz的3值逻辑Ł3的预完备性而被证明是功能完备的。 Zbl 1515.03125号 杰玛·罗伯斯;何塞·梅恩德斯。 1 2021 Kleene强逻辑的一类自然蕴涵展开式在功能上等价于Łukasiewicz的三值逻辑Ń3。 Zbl 1477.03064号 杰玛·罗伯斯;何塞·梅恩德斯。 5 2020 用于推理高阶上下概率的多代理逻辑。 Zbl 1477.03069号 道德，德拉甘;内纳德·萨维奇;Ognjanović，佐兰 4 2020 关于社交网络平衡的逻辑。 Zbl 1435.03058号 熊、左军;托马斯·奥戈特内斯 三 2020 四值动态认知逻辑。 Zbl 1477.03043号 尤里·戴维·桑托斯 2 2020 社交网络中的群体整合。 Zbl 1435.91138号 科尔比·莫里森;帕维尔·瑙莫夫 1 2020 基于亲近度和优先级的社交网络创建逻辑研究。 Zbl 1435.91139号 Smets，索尼娅;费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。 1 2020 线性时序逻辑和量子有限自动机的关系。 Zbl 1477.68147号 阿曼迪普·辛格·巴蒂亚;阿杰·库马尔 1 2020 残余收缩。 Zbl 1477.03038号 马可·加拉帕;莫里西奥·赖斯。 1 2020 关于断言图的逻辑哲学。 Zbl 1477.03004号 丹尼尔·奇菲;阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen） 1 2020 将GDPR规定规范化为具体的I/O逻辑：DAPRECO知识库。 兹比尔1477.68299 利维奥·罗巴尔多;塞萨尔·巴托里尼;莫妮卡·帕尔米拉尼;阿里安娜·罗西;米歇尔·马托尼;加布里埃尔·伦齐尼 1 2020 自然密度和量词“most”。 Zbl 1477.03113号 托帕，塞卢克;艾哈迈特·切维克 1 2020 细细的红线、莫里斯主义和时间的流动。 Zbl 1477.03045号 西罗·德弗洛里奥;阿尔多·弗里吉里奥 1 2020 条件、因果关系和条件概率。 Zbl 1477.03019号 罗伯特·范·罗伊;凯特琳·舒尔茨 5 2019 逻辑语法解析/理论证明猫日志3. Zbl 1478.68416号 格林·莫里尔 4 2019 一种类型驱动的向量语义，用于带回指的省略，使用有限收缩的Lambek演算。 Zbl 1477.03115号 吉斯·维恩霍尔斯;梅赫努什·萨德扎德 4 2019 论比尔对（WK_{3}）的新解释。 Zbl 1477.03009号 尼西姆·弗朗西兹 4 2019 过渡结构的一阶可定义性。 Zbl 07099908号 安杰伦伯格;阿尔贝托·扎纳多 2 2019 关于对合非结合Lambek演算。 Zbl 1477.03063号 沃伊切赫·巴斯科夫斯基 1 2019 \（\mathrm{荷兰}_\lambda）作为范围和移动的逻辑。 Zbl 1477.03062号 克里斯·巴克 1 2019 自然语言语义和可计算性。 Zbl 1477.03112号 理查德·穆特;克里斯蒂安·雷托雷 1 2019 道义动作逻辑的超覆语义。 Zbl 1441.03020号 卡尔·尼格伦 1 2019 由无限元树的边界组成的一类概念空间。 Zbl 1477.03114号 城市，罗马;西蒙先生 1 2019 平移不变性和米勒的天气示例。 Zbl 1446.03048号 巴黎，J.B。;A.文科瓦斯卡。 1 2019 优先可达性和首选世界。 Zbl 1509.03068号 卡塔琳娜·布里茨;伊万·瓦尔津扎克 5 2018 库珀存储习惯用法。 Zbl 1509.03086号 格雷戈里·科贝尔。 2 2018 命题逻辑中对象语言的多样化。 Zbl 1509.03074号 尼西姆·弗朗西兹 2 2018 关于带括号的Lambek演算的识别能力。 兹比尔1427.03040 Makoto金泽 2 2018 欧拉图非序列推理策略分析。 Zbl 1509.03022号 尤里·佐藤;Yuichiro Wajima;上田和弘 1 2018 关于量子态之间非正交关系的模态逻辑。 Zbl 1509.03073号 钟，沈阳 1 2018 扩展模型上的反向公告运营商。 Zbl 1441.03016号 Haney，Ryuichi Sebastian 1 2018 交互式语义对齐模型：社会影响和本地传输瓶颈。 Zbl 1419.91572号 Dariusz Kalociñski;马钦·莫斯托夫斯基;尼娜·吉拉西姆祖克 1 2018 信息的有效表示：观测优势的正式说明。 Zbl 1368.68294号 斯台普顿，宝石;马蒂亚·贾姆尼克;Atsushi岛岛岛 12 2017 形容词和状语修饰：现代类型理论的观点。 Zbl 1420.03055号 斯特吉奥斯查齐基里亚基迪斯;罗朝晖 5 2017 （完整）Lambek演算的语言理论和有限关系模型。 Zbl 1420.03041号 克里斯蒂安·沃尔姆 2 2017 在所有但有限的许多可能世界中：“压倒性多数'默认条件。 Zbl 1420.03038号 科斯塔斯·库特拉斯。;克里斯托斯·兰祖迪斯 1 2017 设置分区和的含义相同的. Zbl 1420.03058号 R.祖伯。 1 2017 分支时间的转换语义。 Zbl 1396.03027号 安杰伦伯格 13 2016 向关注的代理发布公告。 Zbl 1352.03021号 托马斯·博兰德;汉斯·范·迪特马什;安德烈亚斯·赫齐格;埃米利亚诺·洛里尼;佩雷·帕尔多;弗朗索瓦州施瓦岑特鲁伯 10 2016 用真函数模态算子加强Brady的次协调四值逻辑BN4。 Zbl 1396.03045号 何塞·梅恩德斯。;杰玛·罗伯斯 8 2016 反思网络中的社会影响力。 Zbl 1396.03082号 佐埃·克里斯托夫;延斯·乌尔里克·汉森;卡洛·普罗埃蒂 5 2016 色情搜索场景和三值逻辑。 Zbl 1355.03020号 多罗塔·莱斯琴斯卡·贾西翁;帕韦·乌普科夫斯基 三 2016 复杂世界中的合成信号。 Zbl 1380.68372号 谢恩·施泰纳特·特雷克尔德 三 2016 具有非本原身份的自然主义一阶语言的亚原子自然演绎。 Zbl 1396.03110号 巴托斯·威考斯基 2 2016 阻塞修正。 Zbl 1353.03009号 斯文·奥夫·汉森 1 2016 判断聚合模态逻辑的自然演绎。 Zbl 1396.03035号 田佩尔科夫 1 2016 信号游戏中组合的演变。 Zbl 1380.91028号 迈克尔·弗兰克 1 2016 广义量词的双组语义。 Zbl 1350.03025号 安蒂·库西斯托 22 2015 疑问语义学中的弱否定。 兹比尔1369.03108 潘奇阿，维特 11 2015 关于存在语句的维恩图表示。 Zbl 1350.03013号 阿米鲁切Moktefi;阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen） 8 2015 Speedith：蜘蛛图推理器。 Zbl 1362.68252号 马特伊·乌尔巴斯;马蒂亚·贾姆尼克;斯台普顿，宝石 7 2015 “现在”和“然后”操作符的表达能力。 Zbl 1369.03110号 伊戈尔·亚诺维奇 6 2015 图表如何支持三段论推理：一项实验研究。 Zbl 1350.03012号 尤里·佐藤;Koji Mineshima 5 2015 带有多数量词的依赖逻辑。 Zbl 1368.03040号 阿诺·杜兰德;约翰内斯·埃宾;朱哈·科廷宁;赫里伯特沃尔默 4 2015 不仅是芭芭拉。 Zbl 1350.03027号 保罗·J·E·德克尔。 三 2015 首选项更改。 兹比尔1345.03028 阿纳伊斯·卡迪尔哈克;尼古拉斯·阿舍;亚历克斯·拉斯卡里德斯;法拉·贝纳马拉 1 2015 urn逻辑的序列演算。 Zbl 1350.03043号 法语、罗汉语 1 2015 逻辑简化成了赤裸裸的（证明理论的）骨架。 Zbl 1350.03044号 雅罗斯拉夫·佩雷格林 1 2015 经典命题逻辑的表现主义双边意义即用分析。 Zbl 1369.03095号 约翰·坎特威尔 1 2015 欧拉和维恩图专刊：客座编辑介绍。 Zbl 1349.03005号 1 2015 逻辑几何和对立方格中的信息。 Zbl 1306.03005号 汉斯·斯梅萨特;洛伦兹·德米 40 2014 内隐和外显信念的动态认知逻辑。 Zbl 1306.03009号 费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。 12 2014 战略推理：根据逻辑公式建立认知模型。 兹比尔1305.91051 苏加塔·戈什;本·梅杰林;韦布鲁克（Rineke Verbrugge） 8 2014 关于无意识知识的推理逻辑。 兹伯利1311.03032 托马斯·奥戈特内斯;娜塔莎·亚历奇纳 7 2014 知识和意识变化的语义学。 Zbl 1305.68163号 汉斯·范·迪特马什;法语，蒂姆 6 2014 Smarties和Sally-Anne任务中的混合逻辑推理。 Zbl 1306.03010号 托本·布吕纳 5 2014 Coq中的自然语言推理。 Zbl 1305.68193号 斯特吉奥斯查齐基里亚基迪斯;罗朝晖 5 2014 关于量词见证集的识别：对多量词句子的研究。 Zbl 1305.03030号 利维奥·罗巴尔多;贾库布·西曼尼克;本·梅杰林 2 2014 用深度相关性阻断通往琐碎的道路。 Zbl 1323.03023号 杰玛·罗伯斯;何塞·梅恩德斯。 2 2014 方程式混合逻辑的Hilbert式公理化。 Zbl 1305.03017号 路易斯·巴博萨。;马丁斯（Manuel A.Martins）。;马尔塔·卡雷泰罗 1 2014 支持和一系列情况。 Zbl 1305.03031号 安德烈·维希·涅夫斯基 1 2014 为非无所不知的代理人生成和选择诱拐性解释。 Zbl 1305.68162号 费尔南多·索勒·托斯卡诺;费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。 1 2014 动作型道义逻辑。 Zbl 1311.03036号 马丁·莫斯（Martin Mose Bentzen） 1 2014 亚勃罗悖论与说谎者的对等悖论。 Zbl 1305.03009号 明兴 5 2013 推理条件和证据。 Zbl 1305.03010号 Krzyżanowska，K。;温马克，S。;Douven，我。 5 2013 难题的简单解决方案？带有量化先行词的倒数的计算复杂性。 兹比尔1305.68094 费比安·施洛特贝克;奥利弗·博特 4 2013 用大量使用的在线学习系统对演绎大师的分析表模型进行了实证测试。 Zbl 1305.68197号 尼娜·吉拉西姆祖克;van der Maas，Han L.J。;Raijmakers，Maartje E.J。 三 2013 欧几里德图解推理认知研究序言。 兹比尔1305.03008 雅辛·哈马米;约翰·穆玛 三 2013 曲目收缩。 Zbl 1305.03016号 斯文·奥夫·汉森 1 2013 …还有297个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1724位作者引用 30 van Benthem，Johan F.A.K。 30 汉斯·皮特·范·迪特马什 28 Frank P.A.库伦。 27 诺里希罗·卡米德 24 海因里希·西奥多 22 斯文·奥夫·汉森 21 洛伦兹·德米 20 迪迪埃·杜布瓦 18 Dov M.加巴伊。 17 杰玛·罗伯斯 16 彼得罗·加利亚尼 15 库伦·马图里，塔哈尼 15 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 14 朱哈·科廷宁 14 埃米利亚诺·洛里尼 14 亨利·普拉德。 14 韦布鲁克（Rineke Verbrugge） 13 托马斯·奥戈特内斯 13 爱德华多·利奥波多·费尔梅 13 何塞·梅恩德斯。 13 埃里克·帕奎特 12 巴特尔·皮特·库伊 12 范德霍克，威比 12 杨，范 11 卡洛斯·阿雷塞斯 11 马尔滕·马克思 11 亚历山德拉·帕尔米吉亚诺 11 莫里西奥·赖斯。 11 费尔南多·雷蒙多（Fernando Raymundo） 10 亚历山大·巴尔塔格 10 托本·布吕纳 10 苏加塔·戈什 10 马丁斯（Manuel António Martins） 10 托马斯·安德烈亚斯·迈耶 10 翁贝托·里维奇奥 10 汉斯·斯梅萨特 10 Smets，Sonja J.L。 10 贾库布·西曼尼克 10 王燕京 9 贝内维特斯，马里奥·R·F·。 9 帕特里克·布莱克本 9 Ivano A.Ciardelli。 9 马塞洛·芬格 9 亚历山大·马德拉 9 格林·莫里尔（Glyn V.Morrill）。 9 梅赫努什·萨德扎德 9 吉列尔莫·里卡多·西马里 9 Väänänen，Jouko Antero 8 波琳·库伦·施里杰纳（Pauline Coolen-Schrijner） 8 埃里希·格拉德尔 8 安德烈亚斯·赫齐格 8 Max Iosifovich，卡诺维奇 8 奥廷索夫，谢尔盖·P。 8 汉斯·罗特 8 十个Cate，Balder David 8 罗伯特·范·鲁伊 7 菲利普·巴尔比亚尼 7 福斯托·巴贝罗 7 亚历山大·波奇曼 7 理查德·F·布斯。 7 沃伊切赫·巴斯科夫斯基 7 达戈斯蒂诺，马塞洛 7 马塞洛·阿莱杭德罗·法拉帕 7 托马索·弗拉米尼奥 7 尼西姆·弗朗西兹 7 瓦伦丁·F·戈兰科。 7 丰弘Hoshi 7 劳埃德·亨伯斯通 7 米库拉斯（Mikulás，Szabolcs） 7 罗希特·帕里赫 7 雅罗斯拉夫·伊戈列维奇·彼得鲁金 7 贝罗斯拉夫·里坎 7 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 7 萨尔瓦蒂，西尔万 7 胜彦三野 7 安德烈·斯克洛夫 7 雅罗斯拉夫·什兰科。 7 范·艾伊克（Jan van Eijck） 7 迈克尔·J·伍尔德里奇。 6 娜塔莎·亚历奇纳 6 Arieli，奥弗 6 塞勒姆·本费哈特 6 贾科莫·博纳诺 6 约翰·坎特威尔（John C.Cantwell）。 6 马尔滕·德·里杰克 6 Stéphane P.德姆里。 6 圣地亚哥菲格拉 6 马可·加拉帕 6 亚历杭德罗·哈维尔·加西亚 6 马蒂亚·贾姆尼克 6 安蒂·库西斯托 6 拉彭塔，塞拉菲纳 6 马明辉 6 劳伦斯·莫斯。 6 Hitoshi大森 6 马丁·奥托 6 弗朗索瓦州施瓦岑特鲁伯 6 斯台普顿，宝石 6 柳竹村 6 迪米特·瓦卡雷洛夫 …还有1624位作者 全部的 前5名被131种期刊引用 163 逻辑、语言与信息杂志 138 Studia Logica公司 117 哲学逻辑杂志 104 合成 76 人工智能 73 应用非经典逻辑杂志 52 理论计算机科学 47 纯逻辑与应用逻辑年鉴 42 符号逻辑综述 36 圣母院形式逻辑杂志 36 应用逻辑杂志 31 信息与计算 27 国际近似推理杂志 24 埃尔肯特尼斯 22 模糊集与系统 21 符号逻辑杂志 21 数学与人工智能年鉴 20 泛逻辑 19 逻辑与逻辑哲学 14 统计理论与实践杂志 13 自动推理杂志 13 程序设计中的逻辑和代数方法杂志 12 数理逻辑档案 11 软计算 10 计算机与系统科学杂志 10 符号逻辑公报 10 计算机科学中的逻辑方法 9 托波伊 8 代数普遍性 8 信息科学 8 ACM计算逻辑事务 7 MSCS公司。计算机科学中的数学结构 7 数学逻辑季刊（MLQ） 7 国际博弈论综述 6 逻辑历史与哲学 6 国际智能系统杂志 5 统计规划与推理杂志 5 计算系统理论 4 纯粹与应用代数杂志 4 逻辑科公报 4 数学社会科学 4 游戏与经济行为 4 统计传播。理论与方法 4 国际不确定性、模糊性和基于知识的系统杂志 4 游戏 三 国际理论物理杂志 三 信息处理信件 三 代数与逻辑 三 代数杂志 三 计算的形式方面 三 科学基础 三 物理学基础 三 诺尔斯 三 Logicheskie Issledovaniya公司 2 凯贝内提卡 2 斯洛伐克数学 2 机器学习 2 国际计算机科学基础杂志 2 物理学年报 2 国际计算机数学杂志 2 线性代数及应用 2 计算统计与数据分析 2 应用的分类结构 2 人工智能研究杂志 2 逻辑程序设计理论与实践 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 2 西伯利亚联邦大学学报。数学和物理 1 倒排索引综述 1 信息学报 1 国际通用系统杂志 1 国际科学与技术数学教育杂志 1 统计物理杂志 1 数学生物科学 1 梅特里卡 1 数学生物学通报 1 Automatica公司 1 组合理论杂志。B系列 1 数学经济学杂志 1 语言学与哲学 1 京都大学数学科学研究所出版物 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 SIAM计算机杂志 1 统计与概率信件 1 塞贡达·埃波卡理论 1 图与组合 1 符号计算杂志 1 新一代计算 1 运筹学年鉴 1 随机结构与算法 1 神经计算 1 Mathematica Bohemica公司 1 国际代数与计算杂志 1 统计传播。模拟和计算 1 欧洲运筹学杂志 1 SIAM应用数学杂志 1 Indagationes Mathematicae公司。新系列 1 系统设计中的形式化方法 1 经济理论 1 运筹学国际交易 1 工程中的数学问题 …还有31种期刊 全部的 前5名36个领域引用 1,453 数学逻辑和基础（03-XX） 687 计算机科学（68至XX） 175 博弈论、经济学、金融和其他社会和行为科学（91-XX） 76 有序，格，有序代数结构（06-XX） 40 统计学（62-XX） 32 历史和传记（01-XX） 28 总体主题；集合（00-XX） 20 概率论与随机过程（60-XX） 18 范畴理论；同调代数（18-XX） 15 一般代数系统（08-XX） 13 组合数学（05-XX） 13 生物学和其他自然科学（92-XX） 12 量子理论（81-XX） 10 信息与通信理论、电路（94-XX） 7 几何形状（51至XX） 7 运筹学、数学编程（90-XX） 6 数值分析（65-XX） 6 相对论和引力理论（83至XX） 5 一般拓扑结构（54至XX） 5 数学教育（97-XX） 4 测量和集成（28-XX） 4 动力学系统与遍历理论（37至XX） 三 群论与推广（20-XX） 2 凸和离散几何（52-XX） 2 统计力学，物质结构（82-XX） 1 场论和多项式（12-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 功能分析（46倍X倍） 1 代数拓扑（55-XX） 1 粒子和系统力学（70-XX） 1 光学、电磁理论（78-XX） 1 经典热力学，传热（80-XX） 1 地球物理学（86-XX） 1 系统论；控制（93至XX） 按年份列出的引文