应用非经典逻辑杂志 简短标题: J.应用。非类别。日志。 出版商: 泰勒和弗朗西斯 国际标准编号: 1166-3081; 1958-5780/年 在线: http://www.tandfonline.com/loi/tncl20http://jancl.revuesonline.com/resnum.jsp 评论: 期刊;索引封面到封面 已编制索引的文档: 547出版物(自1991年起) 引用索引: 512出版物参考文献14425。 全部的 前5名最新问题 34,编号1(2024) 33,编号3-4(2023) 33,编号2(2023) 33,编号1(2023) 32,编号4(2022) 32,编号2-3(2022) 32,编号1(2022) 31,编号3-4(2021) 31,编号2(2021) 31,编号1(2021) 30,第4期(2020年) 30,第3期(2020年) 30,第2期(2020年) 30,第1期(2020年) 29,第4号(2019) 29,第3号(2019) 29,第2号(2019) 292019年第1期 28,第4号(2018) 28,编号2-3(2018) 282018年第1期 27,第3-4号(2017) 272017年第1-2号 262016年第4号 262016年第3号 262016年第2期 262016年第1期 25,第4号(2015年) 252015年第3期 252015年第2期 252015年第1期 242014年第4号 24,第3号(2014) 242014年第1-2号 232013年第4号 232013年第3期 23,第1-2号(2013) 222012年第4号 222012年第3号 222012年第1-2号 21,编号3-4(2011) 212011年第2期 21,第1号(2011年) 202010年第4期 202010年第3期 20,第1-2号(2010) 19,第4号(2009年) 192009年第3期 192009年第2期 192009年第1期 182008年第4号 182008年第2-3号 182008年第1期 172007年第4号 172007年第3号 172007年第2期 172007年第1期 162006年第3-4号 162006年第1-2号 152005年第4号 152005年第3期 152005年第2期 15,第1号(2005年) 142004年第4期 142004年第3期 14,第1-2号(2004) 13,第3-4号(2003) 132003年第2期 13,第1期(2003) 12,第3-4号(2002) 122002年第2期 12,第1期(2002年) 11,第3-4号(2001) 112001年第1-2号 102000年第3-4号 102000年第2期 10,第1号(2000年) 9,第4号(1999) 9,第2-3号(1999) 9,第1期(1999年) 8,第4号(1998年) 8,第3号(1998年) 8,第1-2号(1998年) 7,第4号(1997) 7,第3号(1997) 7,第1-2号(1997) 6,第4号(1996年) 6,第3号(1996) 6,第2号(1996) 6,第1号(1996) 51995年第2期 5,第1期(1995年) 41994年第2期 41994年第1期 三,第2号(1993) 三,第1号(1993) 2,第2号(1992年) 2,第1期(1992年) 1,第2期(1991年) 1,第1期(1991年) 全部的 前5名作者 16 菲利普·巴尔比亚尼 9 安德烈亚斯·赫齐格 9 或者艾瓦·奥斯卡。 9 杰玛·罗伯斯 7 瓦伦丁·F·戈兰科。 7 何塞·梅恩德斯。 7 迪米特·瓦卡雷洛夫 7 汉斯·皮特·范·迪特马什 6 佩德罗·卡巴拉尔 6 雅罗斯拉夫·伊戈列维奇·彼得鲁金 6 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 6 van Benthem,Johan F.A.K。 5 罗伯特·德莫洛姆 5 迪迪埃·杜布瓦 5 路易斯·法利尼亚斯·德尔·塞罗 5 Dimitar P.Guelev。 5 科斯塔斯·库特拉斯。 5 亨利·普拉德。 4 Jan A.Bergstra。 4 菲利普·贝斯纳德 4 查克拉博蒂,米希尔·库马尔 4 玛尔塔·恰尔迪亚·梅耶 4 Stéphane P.德姆里。 4 马丁·迪盖兹 4 伊沃·杜恩施 4 加贝,多夫·M。 4 艾哈迈德、塔雷克说 4 卡尔·施莱赫塔 4 廷切夫、廷科 三 托马斯·奥戈特内斯 三 阿古德洛·阿古德罗,胡安·C。 三 莱拉·阿姆古德 三 纪尧姆拍卖行 三 塞勒姆·本费哈特 三 伊莎贝尔·布洛赫 三 布罗森,Jan M。 三 塞拉尼、塞尔吉奥·阿图罗 三 塞里托、塞雷内拉 三 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 三 佩雷斯·德古兹曼(Pérez de Guzmán),英马特拉达 三 乔伊格登·根瑟 三 路易斯·戈多 三 乔安娜·戈林斯卡·皮拉雷克 三 赫里萨菲斯·哈托纳斯 三 安东尼·亨特 三 诺里希罗·卡米德 三 塞巴斯蒂安·科尼埃奇尼 三 Konikowska,比塔 三 埃米利亚诺·洛里尼 三 安德烈亚·马西尼 三 安吉洛·蒙塔纳里 三 Moszkowski,Ben C。 三 阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。 三 卡里姆·努尔 三 皮诺·佩雷斯,拉蒙 三 阿尔班·蓬塞 三 阿列克谢·潘科(Alexej P.Pynko)。 三 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 三 Sagastume、Marta S。 三 托尔斯滕·绍布(Torsten H.Schaub)。 三 范德霍克,威比 三 范德托雷,Leendert W.N。 三 伊万·约瑟·瓦尔津扎克 三 瓦格纳,格尔德 三 海因里希·西奥多 三 吴金钊 2 费利西达·阿瓜多 2 何塞·朱利奥·阿尔弗雷斯 2 斯特凡诺·巴拉泰拉 2 亚历克斯·贝里科夫 2 劳伦斯·彼得·贝卢斯 2 布兰登·贝内特 2 英格·贝斯克 2 阿尔弗雷多·布里耶扎 2 沃尔特·亚历山大·卡尼埃利 2 克拉克,迈克尔·R·B。 2 威廉·康雷迪 2 苏珊娜·库比略 2 布鲁诺·达雷 2 梅迪·达斯坦尼(Mehdi M.Dastani)。 2 安东尼奥·迪·诺拉 2 克莱尔·狄克逊 2 帕特里克·多尔蒂 2 德奥塔维亚诺,伊塔拉·洛夫雷多 2 西尔维·多特 2 乔里·恩格弗里特 2 亚历杭德罗·埃斯特拉达 2 范晓聪 2 弗南德斯(Víctor L.Fernández)。 2 迈克尔·费希尔 2 安德烈亚·福米萨诺 2 法语,蒂姆 2 克莉丝汀·弗罗伊德沃 2 亚历杭德罗·哈维尔·加西亚 2 康斯坦蒂诺斯·乔治亚托斯 2 里卡多·贡萨阿尔维斯 2 约翰·格兰特。 2 埃里克·格雷戈伊尔 2 斯文·奥夫·汉森 2 伯恩哈德·海尼曼 …还有572名作者 全部的 前5名字段 476 数学逻辑和基础(03-XX) 227 计算机科学(68-XX) 28 阶、格、有序代数结构(06-XX) 14 博弈论、经济学、金融和其他社会和行为科学(91-XX) 11 总体主题;集合(00-XX) 10 一般拓扑结构(54至XX) 6 历史和传记(01-XX) 6 信息与通信理论、电路(94-XX) 4 一般代数系统(08-XX) 4 范畴理论;同调代数(18-XX) 三 几何图形(51-XX) 三 生物学和其他自然科学(92-XX) 2 交换代数(13-XX) 2 量子理论(81-XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 场论和多项式(12-XX) 1 结合环与代数(16-XX) 1 统计学(62-XX) 1 粒子和系统力学(70-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 353出版物有被引用2251中的次1778文件 引用人▼ 年份▼ 信念修正的动态逻辑。 Zbl 1186.03033号 约翰·范·本特姆 140 2007 具有可取消优先级的基于参数的扩展逻辑编程。 Zbl 0877.68019号 亨利·普拉肯;乔瓦尼·萨托 89 1997 偏好升级的动态逻辑。 Zbl 1186.03034号 约翰·范·本特姆;刘芬荣 77 2007 单智能体和多智能体系统的认知规划。 Zbl 1242.68285号 托马斯·博兰德;米克尔·比凯加德·安徒生(Mikkel Birkegaard Andersen) 52 2011 具有强诱导否定的左连续三角范数的结构。一: 旋转构造。 Zbl 1033.03512号 桑多·杰内 41 2000 具有强诱导否定的左连续三角范数的结构。II: 旋转湮灭构造。 Zbl 1037.03508号 桑多·杰内 40 2001 具有贝尔纳普真值的模态逻辑。 Zbl 1242.03050号 谢尔盖·奥丁佐夫。;海因里希·瓦辛 36 2010 半重视觉。 Zbl 0869.03017号 斯文·汉森 35 1997 建设性否定、暗示和共同暗示。 Zbl 1181.03027号 海因里希·瓦辛 34 2008 通过约简公理实现公共更新逻辑的表达性和完整性。 Zbl 1185.03014号 巴特尔·库伊 32 2007 建构性知识:代理人在不完全信息下可以实现什么。 Zbl 1186.03031号 沃伊切赫·贾姆罗加;托马斯·奥戈特内斯 32 2007 一些基于区域的空间理论的近似方法。 Zbl 1185.68682号 迪米特·瓦卡雷洛夫;乔治·迪莫夫;伊沃·杜恩施;布兰登·贝内特 32 2002 时间间隔逻辑和持续时间计算的路线图。 Zbl 1181.03012号 V.戈兰科。;A.蒙塔纳里。;Sciavicco,G。 31 2004 正常逻辑程序和命题理论的一些可译性结果。 Zbl 1184.68160号 汤米·詹胡宁 31 2006 Belnap四值逻辑及其展开式中的函数完备性和公理化。 Zbl 1033.03017号 阿列克谢·潘科(Alexej P.Pynko)。 27 1999 一致性下的概率逻辑、模型理论概率逻辑和系统(P)中的默认推理。 Zbl 1038.03023号 维罗妮卡·比亚佐;吉利奥,安吉洛;托马斯·卢卡西维奇;朱塞佩·桑菲利波 26 2002 无穷多的超级抢答逻辑。 Zbl 1398.03112号 翁贝托·里维奇奥 25 2012 有四个值的命题逻辑:真、假、发散和无意义。 Zbl 0843.03012号 Jan A.Bergstra。;英格·贝斯克;彼得罗登堡 24 1995 “到处”和“这里”。 Zbl 0993.03020号 Shehtman,瓦伦丁 23 1999 理论模型的易处理计数及其在真理维护和信念修正中的应用。 Zbl 1033.03505号 阿德南·达尔维切 23 2001 逻辑中的知识、不确定性和无知:双重性和超越性。 Zbl 0993.03079号 乔治·加戈夫 21 1999 模态化海廷演算:直觉逻辑的保守模态扩展。 兹比尔1186.03043 利奥·伊萨基亚 20 2006 分布式知识。 Zbl 1186.03032号 弗洛里斯·罗洛夫森 20 2007 概念主义的计算解释。 Zbl 1398.03142号 T.M.弗格森。 19 2014 在传染逻辑的扩展中定义LFI和LFU。 Zbl 1398.03138号 达米安·恩里克·斯穆克 19 2016 论牧师的悖论逻辑。 Zbl 0841.03008号 阿列克谢·潘科(Alexej P.Pynko)。 18 1995 时间均衡逻辑:一项调查。 Zbl 1400.68199号 费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔 17 2013 迭代修订的框架。 Zbl 1033.03506号 塞巴斯蒂安·科尼埃奇尼;拉蒙皮诺·佩雷斯 16 2000 MV-代数的种类。 Zbl 1031.06010号 乔瓦尼·潘蒂 16 1999 平板Presburger计数器系统上的模型检查。 Zbl 1242.68157号 斯特凡·德姆里;阿兰·芬克尔;瓦伦丁·戈兰科;范·德里姆伦(van Drimmelen)、戈弗特(Govert) 16 2010 常识的理由。 Zbl 1242.03036号 塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 16 2011 抽象论证框架的逻辑限制。 Zbl 1400.68201号 莱拉·阿姆古德;菲利普·贝斯纳德 16 2013 关于分级模态的语义。 Zbl 0797.03013号 范德霍克,威比 15 1992 关于逻辑(P_FD)的一些考虑。模态和概率相结合的逻辑。 Zbl 0885.03022号 范德霍克,威比 15 1997 分级结果:进一步研究。 Zbl 0839.03010号 查克拉博蒂,M.K。 15 1995 关于近似推理中的结果。 Zbl 0794.03032号 卡斯特罗,J.L。;特里拉斯,E。;库比略,S。 13 1994 (文本{G}'_3)逻辑的简要研究。 Zbl 1180.03031号 毛里西奥·奥索里奥·加林多;JoséLuis Carbarlido Carranza 13 2008 计算广义特异性。 Zbl 1185.68679号 弗里德·斯托尔森堡;亚历杭德罗·加西亚。;卡洛斯·切斯尼瓦尔。;吉列尔莫·西马里。 13 2003 在空间中的模式漫步。 Zbl 1185.03060号 马可·艾略;约翰·范·本特姆 13 2002 从KLM风格的条件句到可废除的模式,再到后面。 Zbl 1436.03129号 卡塔琳娜·布里茨;伊万·瓦尔津扎克 13 2018 分级结果关系和模糊闭包算子。 Zbl 0872.03012号 Giangiacomo Gerla 12 1996 基于数学形态学的模态逻辑用于定性空间推理。 Zbl 1185.03025号 伊莎贝尔·布洛赫 12 2002 线性时间一阶时序逻辑的可判定性和不完全性结果。 Zbl 0790.03019号 斯蒂芬·默兹 11 1992 一种基于表格的知识和信念时序逻辑证明方法。 Zbl 0926.03011号 迈克尔·伍尔德里奇;克莱尔·狄克逊;迈克尔·费希尔 11 1998 基于BDD的模态逻辑决策程序K(K). Zbl 1184.68466号 潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。 11 2006 回归和认识规划的DEL序列。 Zbl 1398.03068号 纪尧姆拍卖行 11 2012 具有两个指定值的Kleene强三值矩阵的自然蕴涵展开的Belnap-Dunn语义。 Zbl 1444.03092号 杰玛·罗伯斯;何塞·梅恩德斯。 10 2019 关于认知似然模型的模型理论的一些评论。 Zbl 1242.03037号 洛伦兹·德米 10 2011 具有有限时间的命题区间时间逻辑的一个层次完备性证明。 Zbl 1181.03015号 莫斯科夫斯基,B。 10 2004 一些弱的基于经典的次协调逻辑的可能翻译语义。 Zbl 1187.03025号 乔安·马科斯 10 2008 区域连接演算的标准模型。 Zbl 1185.03061号 Jochen伦茨 10 2002 哪些组做,可以做,和知道他们可以做:在正常模态逻辑中进行分析。 Zbl 1210.03015号 简·布罗森;安德烈亚斯·赫齐格;尼古拉斯·特罗夸德 10 2009 分离逻辑和方式:一项调查。 Zbl 1398.03151号 斯特凡·德姆里;Deters,摩根 10 2015 基于Shannon熵和Huffman编码的模糊概念格约简。 Zbl 1400.68209号 普雷姆·库马尔·辛格;阿卜杜拉·加尼 10 2015 元推理逻辑的一个家族。 Zbl 1444.03084号 费德里科·马蒂亚斯·佩洛斯 9 2019 具有相对可及性关系的模态逻辑层次。 Zbl 0989.03018号 菲利普·巴尔比亚尼;埃瓦州奥洛斯卡 9 1999 带有程序交集的PDL:一个完整的公理化。 Zbl 1181.03030号 巴尔比亚尼,P。;瓦卡列洛夫,D。 9 2003 将估值与社会语义相结合。 Zbl 1185.03055号 弗南德斯(Víctor L.Fernández)。;马塞洛·科尼格里奥(Marcelo E.Coniglio)。 9 2003 断言图。 Zbl 1436.03020号 F.贝鲁奇。;丹尼尔·奇菲;皮特里宁,A.-V。 9 2018 关于三值逻辑的六值扩张的注记。 Zbl 0806.03019号 字体,Josep M。;马苏德·穆萨维 8 1993 弱Kleene逻辑的语义分析。 兹比尔1444.03087 罗伯托·齐尼;马西米利亚诺·卡拉拉 8 2019 几何的模态多重逻辑。 Zbl 0921.03022号 菲利普·巴尔比亚尼 8 1998 局部可能性逻辑。 Zbl 0886.03018号 卢卡·博尔德林;克劳迪奥·索塞 8 1997 具有四值逻辑的进程代数。 Zbl 1036.68067号 Jan A.Bergstra。;阿尔班·蓬塞 8 2000 规则双瓣。 Zbl 1031.06005号 阿列克谢·潘科(Alexej P.Pynko)。 8 2000 一种多维术语知识表示语言。 Zbl 0845.68098号 弗兰兹·巴德;汉斯·尤根·奥巴赫 8 1995 模态逻辑中的回归。 Zbl 1185.03028号 罗伯特·德莫洛姆;安德烈亚斯·赫齐格;伊万·瓦尔津扎克 8 2003 \(mu)-程序,模态逻辑的统一插值和互模拟量词。 Zbl 1186.03054号 乔瓦娜·达戈斯蒂诺;贾科莫·伦齐;法语,蒂姆 8 2006 KAT-ML:带测试的Kleene代数交互式定理证明程序。 Zbl 1184.68457号 卡马尔·阿布尔·霍恩;德克斯特·科赞 8 2006 基于规则的系统的基础\(\rho\,\text{Log}\)。 Zbl 1184.68175号 马林·米尔恰;特穆尔库西亚 8 2006 关于组合运算的语义。 Zbl 1041.68095号 托马斯·梅耶 7 2001 基于信念序列的相关敏感非单调推理。 兹比尔1041.68093 萨米尔·乔普拉;康斯坦蒂诺斯·乔治亚托斯;罗希特·帕里赫 7 2001 模态定理证明器的实证分析。 Zbl 1033.03501号 乌尔里希·赫斯塔特;雷娜特·施密特(Renate A.Schmidt)。 7 1999 XPath的一些模态方面。 兹比尔1242.68010 10个Cate,Balder;盖尔·方丹;塔德乌兹·利塔克 7 2010 连续性、自由度和过滤。 Zbl 1242.03049号 西尔维奥·吉拉尔迪 7 2010 多子集空间的逻辑。 Zbl 1242.03039号 伯恩哈德·海尼曼 7 2010 弱多值模态公理及其相应的框架类的目录。 Zbl 1185.03031号 科斯塔斯·库特拉斯。 7 2003 有序树的PDL。 Zbl 1185.03056号 洛雷达纳·阿法纳西耶夫;帕特里克·布莱克本;伊奥娜·迪米特里奥;贝特朗·盖菲;埃文·戈利斯;马尔滕·马克思;马尔滕·德·里杰克 7 2005 关于DLS的强度和范围。 Zbl 1186.03042号 威廉·康雷迪 7 2006 非阿基米德模糊逻辑和概率逻辑。 Zbl 1187.03024号 安德鲁·舒曼 7 2008 优先逻辑路线图。 Zbl 1187.03026号 加贝,多夫·M。;卡尔·施莱赫塔 7 2009 安全协议的LTL模型检查。 Zbl 1186.68276号 亚历山德罗·阿曼多;罗伯托·卡蓬;卢卡·孔帕尼亚 7 2009 答案集编程中基于模型的重铸。 Zbl 1400.68048号 托马斯·艾特;迈克尔·芬克;约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 7 2013 一个模态理论提供了一类不完全信息三值逻辑的翻译。 Zbl 1398.03107号 丘奇,D。;杜布瓦,D。 7 2013 时态STIT逻辑及其在规范推理中的应用。 Zbl 1398.03080号 埃米利亚诺·洛里尼 7 2013 纠正的措辞和真理引理的证明APAL公司. Zbl 1398.03069号 菲利普·巴尔比亚尼 7 2015 某些模态系统的有限非确定性语义。 Zbl 1398.03089号 马塞洛·科尼格里奥(Marcelo E.Coniglio)。;路易斯·法利尼亚斯·德尔·塞罗;佩隆,牛顿·M·。 7 2015 Kleene强三值矩阵自然关联展开的Belnap-Dunn语义。II:只有一个指定值。 兹比尔1484.03043 杰玛·罗伯斯;弗朗西斯科·萨尔托;何塞·梅恩德斯。 7 2019 具有描述的语义封闭理论的平凡对象和非平凡性。 Zbl 0934.03035号 格雷厄姆牧师 6 1998 模糊逻辑中的量词、修饰语和限定词。 Zbl 0885.03024号 英明生;伯纳黛特·布琼·梅尼尔 6 1997 作为演绎的模糊推理。 Zbl 1033.03018号 路易斯·戈多;彼得·哈耶克 6 1999 利用多值逻辑中的数据相关性。 Zbl 0836.03013号 雷纳·哈内尔 6 1996 知识、完美回忆和过去的交替时间时序逻辑:公理化和模型检查。 Zbl 1242.68161号 Dimitar P.Guelev。;柯特林·迪马;康斯坦丁·埃纳 6 2011 组合模型。 Zbl 1242.03043号 范·艾伊克(Jan van Eijck);Sietsma,地板;王燕京 6 2011 直觉主义命题逻辑及其片段的复杂性。 Zbl 1181.03006号 米哈伊尔·里巴科夫 6 2008 将信念库合并为游戏。 Zbl 1185.68693号 塞巴斯蒂安·科尼埃奇尼 6 2004 在混合多模态逻辑中建模半结构化数据的第一步。 Zbl 1185.68290号 尼科尔·比多特;塞里托、塞雷内拉;弗吉尼亚州蒂恩 6 2004 超一致性、超完整性、Gentzen系统和三价语义。 Zbl 1398.03135号 阿诺·阿夫隆 6 2014 子结构认识逻辑。 Zbl 1398.03074号 伊戈尔·塞德拉尔 6 2015 二比三:在三值谓词演算上用于软件规范和验证的二值逻辑。 兹伯利0802.03028 Konikowska,比塔 5 1993 一种基本的信念函数逻辑。 Zbl 07757223号 迪迪埃·杜布瓦;路易斯·戈多;亨利·普拉德 1 2023 感染性和透明的情感主义。 Zbl 1517.03027号 杰里迈亚·乔文 2 2022 一种用于正向和反向抽象论证问题的贝叶斯方法。 Zbl 1517.68358号 Hiroyuki Kido;辽、北水 1 2022 一类真正的和非代数化的C系统。 Zbl 1515.03127号 毛里西奥索里奥;阿尔多·菲加洛·奥雷拉诺;米盖尔·佩雷斯·加斯帕 2 2021 测量一些分支时间逻辑中的不一致性。 Zbl 1515.03083号 约翰·格兰特 2 2021 退化过程的认识空间。 Zbl 1516.68096号 杨、刘;安托万·劳西 1 2021 元推理二重性。 Zbl 1486.03043号 布鲁诺·达雷;费德里科·佩洛斯;达米安·斯穆克;Paula Teijeiro 5 2020 准确无误的逻辑符合感染性逻辑。 Zbl 1486.03047号 亚历克斯·贝里科夫;雅罗斯拉夫·彼得鲁金 三 2020 一阶弱Kleene逻辑的结构证明理论。 Zbl 1486.03048号 安德烈亚斯·费尔斯塔德 三 2020 变量包含逻辑和结果关系格。 Zbl 1486.03020号 米歇尔·普拉·巴尔迪 三 2020 关于搜索解释性论证图。 兹比尔1486.68185 雷吉斯·里维雷特 2 2020 子结构逻辑的模态翻译。 Zbl 1452.03057号 Chrysafis哈托纳斯 2 2020 消极信任的逻辑。 Zbl 1486.03053号 G.Primiero。 1 2020 Hájek的BL和psBL的非结合推广的公理化。 Zbl 1436.03160号 雅罗斯拉夫·彼得鲁金 1 2020 模态变化的逻辑LMC。 Zbl 1452.03060号 马钦·伊扎克 1 2020 直觉主义性质的基本准布尔逻辑。 Zbl 1486.03044号 杰玛·罗伯斯 1 2020 具有两个指定值的Kleene强三值矩阵的自然关联展开的Belnap-Dunn语义。 Zbl 1444.03092号 杰玛·罗伯斯;何塞·梅恩德斯。 10 2019 元推理逻辑的一个家族。 Zbl 1444.03084号 费德里科·马蒂亚斯·佩洛斯 9 2019 弱Kleene逻辑的语义分析。 Zbl 1444.03087号 罗伯托·齐尼;马西米利亚诺·卡拉拉 8 2019 Kleene强三值矩阵自然关联展开的Belnap-Dunn语义。II:只有一个指定值。 Zbl 1484.03043号 杰玛·罗伯斯;弗朗西斯科·萨尔托;何塞·梅恩德斯。 7 2019 格逻辑是(2分类)剩余模态逻辑的一个片段。 Zbl 1444.03057号 赫里萨菲斯·哈托纳斯 4 2019 多重格逻辑代数完备性定理的两个证明。 Zbl 1444.03089号 奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金 4 2019 基于分层机构中数学形态学的逻辑对偶概念:在空间推理中的应用。 兹比尔1444.03183 马克·艾吉尔;伊莎贝尔·布洛赫 4 2019 公理和对偶系统用于构造必要性,一种经过正式验证的等价性。 兹比尔1444.03054 González Huesca,Lourdes del Carmen酒店;Miranda-Perea,Favio E。;Linares-Arévalo,P.Selene 4 2019 MVW钻机和产品MV-代数。 Zbl 1439.06008号 亚历杭德罗·埃斯特拉达;尤里·波维达。 2 2019 从属Tarski代数。 Zbl 1444.03180号 塞尔吉奥·塞拉尼。 2 2019 论维达尔对数学中有缺陷条件的三价解释。 Zbl 1444.03091号 雅罗斯拉夫·彼得鲁金;瓦西里·沙金 1 2019 从KLM风格的条件句到可废除的模式,再到后面。 Zbl 1436.03129号 卡塔琳娜·布里茨;伊万·瓦尔津扎克 13 2018 自信的图形。 Zbl 1436.03020号 F.贝鲁奇。;丹尼尔·奇菲;彼得雷宁(A.-V.)。 9 2018 没有标准模型的真相:重新加载了一些概念问题。 Zbl 1436.03016号 爱德华多·巴里奥;布鲁诺·达雷 三 2018 论证框架中的诱拐。 Zbl 1436.68328号 千木坂间 三 2018 连续命题模态逻辑。 Zbl 1436.03127号 斯特凡诺·巴拉泰拉 2 2018 模糊内涵语义。 Zbl 1499.03020号 利波·Běhounek;Ondrej Majer 2 2018 关于构成规范和监管规范的争论。 Zbl 1436.03141号 加布里埃拉·皮戈齐;范德托雷、伦德特 2 2018 抽象论证框架中的初始集合。 Zbl 1436.68329号 徐玉明;克劳德特·凯罗尔 2 2018 道士逻辑:一种新方法。 Zbl 1436.03115号 丹尼尔·Rönnedal 1 2018 自由短路逻辑的独立公理化。 Zbl 1436.03178号 阿尔班·蓬塞;Daan J.C.斯塔特。 1 2018 扩展分配接触格的逻辑。 Zbl 1436.03169号 伊万诺娃,塔季扬娜 1 2018 \(KD)为空。 Zbl 1398.03086号 菲利普·巴尔比亚尼;乔丹·根瑟 4 2017 认识逻辑中的统一。 Zbl 1398.03070号 菲利普·巴尔比亚尼;乔丹·根瑟 三 2017 动态认知逻辑的一般框架:走向规范对应。 Zbl 1398.03073号 Motoura、Shota 2 2017 非经典逻辑中的判断聚合。 Zbl 1398.03102号 丹尼尔·波雷洛 2 2017 具有过去运算符的时间平衡逻辑。 Zbl 1398.03077号 费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔 2 2017 论证逻辑的基础。 Zbl 1398.03066号 莱拉·阿姆古德;菲利普·贝斯纳德;安东尼·亨特 2 2017 基于序列代数的单拓扑。 Zbl 1398.03147号 迪米特·瓦卡雷洛夫 2 2017 所有KD45帧类中的可定义性–可计算性和复杂性。 Zbl 1398.03093号 乔治耶夫,D.T。 1 2017 路易斯·法利尼亚斯·德尔·塞罗的简短传记。 Zbl 1401.01029号 佩德罗·卡巴拉尔;马丁·迪盖兹;安德烈亚斯·赫齐格;大卫·皮尔斯 1 2017 论可能性逻辑与信念和知识的模态逻辑的关系。 Zbl 1398.03128号 莫华·班纳吉;迪迪埃·杜布瓦;路易斯·戈多;亨利·普拉德 1 2017 稳定的推理。 兹比尔1400.68203 佩德罗·卡巴拉尔;大卫·皮尔斯;阿古斯丁,巴尔韦德 1 2017 在沟通的背景下,对信任和相关性进行推理。 Zbl 1400.68236号 罗伯特·德莫洛姆 1 2017 混合代数及其逻辑。 Zbl 1398.03209号 伊沃·杜恩施;或者鄂尔多斯卡;廷切夫、廷科 1 2017 动态认知逻辑:承诺、问题、缺点和观点。 Zbl 1398.03072号 安德烈亚斯·赫齐格 1 2017 在传染逻辑的扩展中定义LFI和LFU。 Zbl 1398.03138号 达米安·恩里克·斯穆克 19 2016 由Anderson和Belnap的一级蕴涵逻辑的Smiley矩阵决定的逻辑。 Zbl 1398.03109号 何塞·梅恩德斯。;杰玛·罗伯斯 5 2016 偶然性逻辑中的命题量化。 Zbl 1398.03098号 汉斯·范·迪特马什;范洁 4 2016 知识意味着“全部的',信念意味着'最’. Zbl 1398.03067号 迪米特里斯·阿斯库尼斯;科斯塔斯·库特拉斯。;尤戈斯·齐科斯 4 2016 有限解释中一般概念包含的公理化。 Zbl 1400.68206号 博奇曼,D。;Distel,F。;克里格尔,F。 三 2016 正交模量子逻辑的一阶框架。 Zbl 1398.03211号 赫里萨菲斯·哈托纳斯 三 2016 勘误表和补遗:“某些模态系统的有限非确定性语义”。 Zbl 1398.03090号 马塞洛·科尼格里奥(Marcelo E.Coniglio)。;路易斯·法利尼亚斯·德尔·塞罗;佩隆,牛顿·M·。 三 2016 命题逻辑的多项式语义。 Zbl 1398.03134号 阿古德洛·阿古德罗,胡安·C。;阿古德洛·冈萨雷斯(Carlos A.Agudelo-González)。;加西亚·金特罗,奥斯卡·E。 2 2016 一些非经典逻辑的博弈论语义。 Zbl 1398.03136号 堪萨斯州巴什肯特 2 2016 单体逻辑和子结构逻辑的比较。 Zbl 1398.03101号 克莱顿·彼得森 1 2016 为“因为”的逻辑辩护。 Zbl 1398.03036号 Schnieder,B。 1 2016 关于结果结构范畴中的一个仿一致函子。 Zbl 1398.03140号 埃德尔西奥·德索萨(Edelcio G.de Souza)。;亚历山大·科斯塔·莱特;迪亚斯,迪奥戈·H·B。 1 2016 分离逻辑和方式:一项调查。 Zbl 1398.03151号 斯特凡·德姆里;Deters,摩根 10 2015 基于Shannon熵和Huffman编码的模糊概念格约简。 Zbl 1400.68209号 普雷姆·库马尔·辛格;阿卜杜拉·加尼 10 2015 纠正的措辞和真理引理的证明亚太地区. Zbl 1398.03069号 菲利普·巴尔比亚尼 7 2015 某些模态系统的有限非确定性语义。 Zbl 1398.03089号 马塞洛·科尼格里奥(Marcelo E.Coniglio)。;路易斯·法利尼亚斯·德尔·塞罗;佩隆,牛顿·M·。 7 2015 亚结构认知逻辑。 Zbl 1398.03074号 伊戈尔·塞德拉尔 6 2015 一种新的理由逻辑框架。 Zbl 1398.03071号 亚历山德罗·佐丹尼 2 2015 “因为”逻辑的问题。 Zbl 1398.03045号 Tsohatzidis,Savas L。 1 2015 关于分数的亚一致性和推理的注释。 Zbl 1398.03137号 Jan A.Bergstra。;英格·贝斯克 1 2015 多元MV-代数中的可变插值和合并。 Zbl 1398.06009号 塔雷克·艾哈迈德 1 2015 稳健性逻辑的表达性和简洁性。 Zbl 1400.68137号 John C.McCabe-Dansted。;法语,蒂姆;苏菲·平奇纳特;马克·雷诺兹 1 2015 概念主义的计算解释。 Zbl 1398.03142号 T.M.弗格森。 19 2014 超一致性、超完整性、Gentzen系统和三价语义。 Zbl 1398.03135号 阿诺·阿夫隆 6 2014 前言:三值逻辑及其应用。 兹比尔1398.00089 巴勃罗·科布雷罗斯;保罗·埃格里;戴维·里普利;罗伯特·范·罗伊 5 2014 用三价语义捕捉条件和条件概率之间的关系。 Zbl 1398.03105号 丹尼尔·罗斯柴尔德 5 2014 数学中有缺陷的条件句。 Zbl 1398.03047号 马修·维达尔 4 2014 基于逻辑的论证中的等效性。 Zbl 1400.68202号 莱拉·阿姆古德;菲利普·贝斯纳德;斯尔詹·维西奇 4 2014 Routey-Meyer语义中没有指定点的非相关De Morgan最小逻辑。 Zbl 1398.03103号 杰玛·罗伯斯;何塞·梅恩德斯。 4 2014 命题非正规模态逻辑的多关系语义变体。 Zbl 1398.03088号 埃里卡·卡拉多;安东尼诺·罗托洛 三 2014 由含常数的Lambek演算的L模型产生的三价逻辑。 Zbl 1398.03100号 库兹涅佐夫,S.L。 2 2014 最小模型与逻辑编程:反事实条件句的案例。 Zbl 1398.03145号 凯特琳·舒尔茨 2 2014 在弱完成和良好语义基础下对抑制任务进行建模。 Zbl 1398.03152号 艾曼纽尔·安娜迪茨;斯特芬·Hölldobler;Christoph Wernhard公司 1 2014 关于预设投射的某些三价解释的一些评论。 兹比尔1398.03149 本杰明·乔治。 1 2014 关于\(k\)值克隆的Gupta-Belnap定点属性的备注。 Zbl 1398.03108号 何塞·马丁内斯·费尔南德斯 1 2014 重温了Prior的OIC非保守性示例。 兹比尔1398.03141 劳埃德·亨伯斯通 1 2014 时间均衡逻辑:一项调查。 Zbl 1400.68199号 费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔 17 2013 抽象论证框架的逻辑限制。 Zbl 1400.68201号 莱拉·阿姆古德;菲利普·贝斯纳德 16 2013 答案集编程中基于模型的重铸。 Zbl 1400.68048号 托马斯·艾特;迈克尔·芬克;约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 7 2013 一个模态理论提供了一类不完全信息三值逻辑的翻译。 Zbl 1398.03107号 丘奇,D。;杜布瓦,D。 7 2013 时序STIT逻辑及其在规范推理中的应用。 Zbl 1398.03080号 埃米利亚诺·洛里尼 7 2013 \(\mathcal的系统描述的一些属性{铝}_d\). Zbl 1400.68207号 迈克尔·盖尔芬德;达尼埃拉·因利赞 5 2013 确定无保护模态演算。 Zbl 1398.03092号 奥利弗·弗里德曼;马丁·兰格 4 2013 SPARQL1.1与答案集编程的关系。 Zbl 1400.68065号 Polleres,阿克塞尔;约翰·彼得·沃纳 三 2013 多代理可能性逻辑。 Zbl 1400.68217号 阿斯玛·贝尔哈迪;迪迪埃·杜布瓦;费扎·赫拉夫·哈内德;亨利·普拉德 三 2013 关于次一致答案集语义的演绎基础。 Zbl 1400.68050号 新墨西哥州马亚茨基。;Odintsov,S.P。 2 2013 RASP和ASP是线性逻辑的一部分。 Zbl 1400.68047号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 1 2013 功能完成。 Zbl 1400.68205号 弗拉基米尔·利夫希茨;杨芳凯 1 2013 …还有253个文档 所有引用出版物 排名前五的出版物 全部的 前5名被1781位作者引用 45 汉斯·皮特·范·迪特马什 30 van Benthem,Johan F.A.K。 25 菲利普·巴尔比亚尼 21 海因里希·西奥多 19 加贝,多夫·M。 17 托马斯·奥戈特内斯 16 安吉洛·蒙塔纳里 16 吉列尔莫·里卡多·西马里 15 诺里希罗·卡米德 15 佐兰·奥格尼亚诺维奇 15 杰玛·罗伯斯 15 Smets,Sonja J.L。 14 亚历山大·巴尔塔格 14 古拉姆·贝扎尼什维利 14 Stéphane P.德姆里。 14 迪迪埃·杜布瓦 14 路易斯·戈多 14 阿列克谢·潘科(Alexej P.Pynko)。 14 王燕京 13 莱拉·阿姆古德 13 安德烈亚斯·赫齐格 13 埃米利亚诺·洛里尼 13 托尔斯滕·绍布(Torsten H.Schaub)。 13 迪米特·瓦卡雷洛夫 13 费尔南多·雷蒙多(Fernando Raymundo) 12 Jan A.Bergstra。 12 克莱尔·狄克逊 12 瓦伦丁·F·戈兰科。 12 阿尔班·蓬塞 12 托马斯·施图德 11 伊莎贝尔·布洛赫 11 佩德罗·卡巴拉尔 11 何塞·门德斯。 11 谢尔盖·奥丁佐夫。 11 埃里克·帕奎特 11 雅罗斯拉夫·伊戈列维奇·彼得鲁金 11 亨利·普拉德。 11 圭多·西亚维科 11 斯特凡·沃尔特兰 10 奥费尔·阿列利 10 阿诺·阿夫隆 10 吉利奥,安吉洛 10 斯文·奥夫·汉森 10 安东尼·亨特 10 拉蒙皮诺·佩雷斯 10 翁贝托·里维奇奥 10 弗朗索瓦州施瓦岑特鲁伯 10 范德霍克,威比 10 伊万·约瑟·瓦尔津扎克 9 托马斯·博兰德 9 伊沃·杜恩施 9 路易斯·法利尼亚斯·德尔·塞罗 9 沃伊切赫·贾姆罗加 9 桑多·杰内 9 塞巴斯蒂安·科尼埃奇尼 9 艾比克·厄兹根 9 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 9 弗兰克·沃尔特 9 扎哈里亚舍夫,迈克尔·维克托罗维奇 8 斯特凡诺·邦齐奥 8 查克拉博蒂,米希尔·库马尔 8 马丁·迪盖兹 8 道德,德拉甘 8 马塞洛·阿莱杭德罗·法拉帕 8 加布里埃尔·克恩·伊斯伯纳 8 马明辉 8 帕维尔·G·瑙莫夫。 8 Rašković,Miodrag D。 8 皮埃特罗·萨拉 8 朱塞佩·桑菲利波 8 雅罗斯拉夫·什兰科。 8 达米安·恩里克·斯穆克 8 廷切夫、廷科 7 劳拉·博泽利 7 大卫·布雷索林 7 乔治·迪莫夫。 7 劳尔·费尔瓦里 7 阿兰·芬克尔 7 法语,蒂姆 7 亚历杭德罗·哈维尔·加西亚 7 Dimitar P.Guelev。 7 赫里萨菲斯·哈托纳斯 7 乌尔里希·赫斯塔特 7 巴特尔·皮特·库伊 7 拉德科·梅西亚尔 7 梅西亚罗娃-泽曼科娃,安德里亚 7 或者艾瓦·奥斯卡。 7 费德里科·马蒂亚斯·佩洛斯 7 Rasmus Krmmer Rendsvig 7 胜彦三野 7 杰拉尔多·西马里。 7 托马斯·维特莱恩 6 马里奥·阿尔维亚诺 6 纪尧姆拍卖行 6 莫华·班纳吉 6 彼得罗·巴罗尼 6 尼克·贝扎尼什维利 6 马丁·卡米纳达。 6 塞拉尼、塞尔吉奥·阿图罗 6 卡洛斯·伊万·切斯尼瓦尔 …还有1681位作者 全部的 前5名132种期刊引用 126 应用非经典逻辑杂志 125 Studia Logica公司 122 人工智能 91 哲学逻辑杂志 80 国际近似推理杂志 75 模糊集与系统 62 合成 52 数学与人工智能年鉴 51 逻辑、语言与信息杂志 40 理论计算机科学 37 应用逻辑杂志 34 逻辑程序设计理论与实践 33 逻辑与逻辑哲学 32 符号逻辑述评 31 纯逻辑与应用逻辑年鉴 31 泛逻辑 19 符号逻辑杂志 19 程序设计中的逻辑和代数方法杂志 18 信息与计算 17 自动推理杂志 15 信息科学 13 代数普遍性 13 Logicheskie Issledovaniya公司 11 ACM计算逻辑事务 10 国际智能系统杂志 10 数学逻辑档案 10 《数理逻辑季刊》 10 软计算 9 逻辑科公报 9 逻辑与代数程序设计杂志 8 圣母院形式逻辑杂志 8 计算机科学中的逻辑方法 7 拓扑及其应用 6 计算系统理论 5 符号计算杂志 5 MSCS公司。计算机科学中的数学结构 5 人工智能研究杂志 5 符号逻辑公报 5 托波伊 5 埃尔肯特尼斯 5 国际不确定性、模糊性和基于知识的系统杂志 4 信息学报 4 信息处理信件 4 立陶宛数学杂志 4 凯贝内提卡 4 计算的形式方面 4 计算机科学前沿 三 代数通讯 三 国际通用系统杂志 三 代数与逻辑 三 代数杂志 三 纯粹与应用代数杂志 三 斯洛伐克数学 三 游戏 2 计算机与数学及其应用 2 离散应用数学 2 离散数学 2 混沌、孤子和分形 2 计算机与系统科学杂志 2 非线性分析。理论、方法和应用。系列A:理论与方法 2 半群论坛 2 订单 2 吉泰。实验与理论人工智能杂志 2 国际代数与计算杂志 2 国际计算机科学基础杂志 2 系统设计中的形式化方法 2 应用的分类结构 2 约束条件 2 计算机基础理论 2 伊朗模糊系统杂志 2 亚美尼亚数学杂志 2 \(p\)-Adic数、超度量分析及其应用 2 欧洲数学杂志 1 印度纯粹与应用数学杂志 1 国际理论物理杂志 1 数学分析与应用杂志 1 梅特里卡 1 应用数学与计算 1 计算 1 演示数学 1 数学经济学杂志 1 统计规划与推断杂志 1 凯伯内特斯 1 语言学与哲学 1 模拟中的数学和计算机 1 Quaestions数学 1 哥伦比亚马特马提卡修道院 1 SIAM计算机杂志 1 西伯利亚数学杂志 1 计算机程序设计科学 1 数学社会科学 1 逻辑历史与哲学 1 匈牙利数学学报 1 数学应用学报 1 伊朗数学学会公报 1 社会选择与福利 1 新一代计算 1 数学和计算机建模 1 SIAM离散数学杂志 1 人工智能通信 …还有32种期刊 全部的 前5名33个领域引用 1,307 数学逻辑和基础(03-XX) 842 计算机科学(68-XX) 131 阶、格、有序代数结构(06-XX) 66 博弈论、经济学、金融和其他社会和行为科学(91-XX) 36 一般拓扑结构(54至XX) 30 一般代数系统(08-XX) 25 范畴理论;同调代数(18-XX) 15 历史和传记(01-XX) 15 信息与通信理论、电路(94-XX) 10 概率论与随机过程(60-XX) 10 统计学(62-XX) 9 总体主题;集合(00-XX) 9 群论与推广(20-XX) 9 生物学和其他自然科学(92-XX) 8 运筹学、数学规划(90-XX) 7 组合数学(05-XX) 6 几何图形(51-XX) 6 系统论;控制(93至XX) 5 量子理论(81-XX) 4 凸和离散几何(52至XX) 三 拓扑群、李群(22日至XX日) 三 测量和集成(28-XX) 三 动力系统和遍历理论(37至XX) 2 数论(11-XX) 2 交换代数(13-XX) 2 差分方程和函数方程(39至XX) 2 流形和细胞复合体(57至XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 实函数(26年X月X日) 1 特殊功能(33至XX) 1 粒子和系统力学(70-XX) 1 经典热力学,传热(80-XX) 1 相对论和引力理论(83至XX) 按年份列出的引文