编辑配置文件(在新选项卡中打开) Dov M.加巴伊。 合著者距离 作者ID: gabbay.dov-m公司 发布日期: Dov M.加巴伊。;Dov Gabbay公司;D.M.加巴伊。;D.加巴伊。;Dov Gabbay公司。M。 更多。。。较少的 主页: https://www.kcl.ac.uk/nms/depts/informatics/people/atoz/gabayd.aspx网站 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考 编入索引的文档: 296出版物自1971年以来,包括26本书和3个附加arXiv预打印 76作为编辑的贡献·2进一步捐款 传记参考: 5出版物 合著者: 176位合著者具有282联合出版物 3177联合作者 全部的 前5名合著者 89 单作者的 33 伍兹,约翰 21 范德托雷,Leendert W.N。 18 弗朗茨·Günthner 15 卡尔·施莱奇塔 14 尼古拉·奥利维蒂 11 达戈斯蒂诺,马塞洛 10 霍华德·巴林格 10 罗德里格斯,奥迪纳多·T·。 9 圭多·波埃拉 9 阿图尔·达维拉·加塞斯。 9 乔治·梅特卡夫 8 马塞洛·芬格 8 汉斯·尤根·奥巴赫 7 布罗达,Krysia B。 7 乌里·希尔德 6 迈克尔·亚伯拉罕 6 库尔特·恩格塞 6 基诺维斯,瓦莱里奥 6 兰姆,路易斯·C。 6 托马斯·斯蒂芬·爱德华·迈鲍姆 6 亚历山德拉·拉索。 6 瓦伦丁·B·谢特曼。 5 萨姆森·艾布拉姆斯基 5 Ruy JoséGuerra Barretto De Queiroz 5 迈克尔·费希尔 5 迈克尔·加巴伊(Michael J.Gabbay)。 5 伊恩·马丁·霍德金森 5 克里斯托弗·约翰·霍格 5 提摩太·坎皮克 5 露丝·肯普森 5 丹尼尔·莱曼。 5 家长,Xavier 5 约翰·艾伦·罗宾逊 5 塞雷娜·维拉塔 4 安东尼·亨特 4 罗尔夫·托马斯·诺瑟姆 4 菲奥拉·皮里 4 乌韦·雷尔 4 马克·亚历山大·雷诺兹 4 谢克曼,Jörg H。 4 菲利普·斯梅茨 4 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 3 马尔滕·德·里杰克 3 马西米利亚诺·贾科明 3 劳拉·佐丹奴 3 格雷厄姆·高夫 3 大卫·格罗西 3 阿尔贝托·马泰利 3 van Benthem,Johan F.A.K。 3 迈克尔·维克托洛维奇(Michael Viktorovich) 2 吉安尼·阿马蒂 2 奥奎斯特,伦纳德 2 史蒂夫·巴克 2 肯尼思·乔恩·巴韦斯 2 亚历山大·波奇曼 2 布罗森,Jan M。 2 马丁·卡米纳达。 2 路易吉亚·卡卢奇·埃利罗(Luigia Carlucci Aiello) 2 沃尔特·亚历山大·卡尼埃利 2 Stéphane P.德姆里。 2 谢尔盖·冈查洛夫 2 Guido省Governatori 2 雷纳·哈内尔 2 赫里萨菲斯·哈托纳斯 2 约翰·霍蒂。 2 拉尔夫·约翰逊。 2 罗杰·基布尔 2 鲁道夫·克鲁斯 2 塞尔吉奥·马塞利诺 2 安德烈亚斯·农纳加特 2 螺母,D。 2 理查德·欧文斯 2 约阿希姆·波塞加 2 蒂兹·里恩斯特拉 2 丹尼尔·里斯波里 2 加迪·罗森伯格 2 David E.Rydeheard。 2 乔瓦尼·萨托 2 吉列尔莫·里卡多·西马里 2 孙欣 2 戈兰·桑德霍姆 2 德克·范·达伦 2 罗恩·范德梅登 2 卢卡·维甘诺 2 海因里希·西奥多 1 阿米尔,阿米胡德 1 马提亚斯·巴兹 1 佐里巴尼亚萨迪 1 彼得罗·巴罗尼 1 David A.Basin。 1 伯恩哈德·贝克特 1 贝尔弗,I。 1 贝尔弗,R。 1 本西文加,埃尔曼诺 1 布鲁诺·本岑 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 保罗·伯奈斯 1 菲利普·贝斯纳德 1 梅·本·阿达尔·贝索斯 1 珍妮·伊夫·贝齐奥 ……还有114位合著者 全部的 前5名系列 30 Studia Logica公司 19 IGPL逻辑杂志 12 符号逻辑杂志 12 逻辑与计算杂志 12 哲学逻辑手册 11 逻辑史手册 9 数学与人工智能年鉴 8 逻辑、语言与信息杂志 6 应用逻辑系列 5 哲学逻辑杂志 5 应用逻辑杂志 5 牛津逻辑指南 5 合成库 5 逻辑研究(伦敦) 5 泛逻辑 5 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 5 认知技术 4 逻辑程序设计杂志 4 应用非经典逻辑杂志 4 符号逻辑述评 3 合成 3 理论计算机科学 3 理论 3 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 3 IGPL杂志 3 计算机科学课堂讲稿 2 人工智能 2 以色列数学杂志 2 数理逻辑年鉴 2 逻辑历史与哲学 2 信息与计算 2 自动推理杂志 2 国际近似推理杂志 2 数学逻辑档案 2 IGPL公告 2 数学软件和软计算 2 逻辑与计算研究 2 逻辑与数学基础研究 2 国际数学系列(纽约) 2 认知系统的实用逻辑 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 计算机与数学及其应用 1 国际理论物理杂志 1 数学基础 1 语言学与哲学 1 逻辑与分析。Nouvelle Série公司 1 圣母院形式逻辑杂志 1 塞贡达·埃波卡理论 1 计算的形式方面 1 人工智能研究杂志 1 托波伊 1 RACSAM公司。《真实科学院评审》(Revista de la Real Academia de Ciencias Exactas,Físicas and Naturales)。意甲:马特马斯 1 ACM计算逻辑事务 1 北荷兰语系列 1 逻辑的进展 1 逻辑与实践推理研究 1 逻辑、认识论与科学的统一 1 人工智能基础 1 计算中的文本 1 逻辑和游戏中的文本 1 致敬 1 科学哲学手册 全部的 前5名领域 315 数学逻辑和基础(03-XX) 171 计算机科学(68至XX) 49 总体主题;集合(00-XX) 16 历史和传记(01-XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 有序,格,有序代数结构(06-XX) 5 量子理论(81-XX) 3 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 1 组合数学(05-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 292出版物有被引用3262中的次2253文件 引用人▼ 年份▼ 多维模态逻辑:理论与应用。 Zbl 1051.03001号 D.M.加巴伊。;A.库鲁茨。;F.沃尔特。;Zakharyaschev,M。 173 2003 时间逻辑。第1卷。数学基础和计算方面。 Zbl 0921.03023号 Dov M.加巴伊。;伊恩·霍德金森;马克·雷诺兹 117 1994 海廷直觉主义逻辑中的语义研究。 Zbl 0453.03001号 Dov M.加巴伊。 103 1981 计算机科学逻辑手册。第三卷:语义结构。 Zbl 0829.68111号 95 1994 插值和可定义性。模态逻辑和直觉逻辑。 兹比尔1091.03001 Dov M.加巴伊。;马克西莫娃。 87 2005 哲学逻辑手册。第6卷。第2版。 Zbl 1065.03002号 79 2002 人工智能和逻辑编程逻辑手册。第三卷:非单调推理和不确定性推理。 Zbl 0804.03017号 71 1994 标签演绎系统。第1卷。 Zbl 0858.03004号 Dov M.加巴伊。 68 1996 模糊逻辑的证明理论。 Zbl 1168.03002号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 66 2009 模态逻辑的产品。一、。 Zbl 0902.03008号 Dov M.加巴伊。;瓦伦丁·B·谢特曼。 57 1998 对形式论证的逻辑解释。 Zbl 1188.03011号 马丁·卡米纳达。;Dov M.加巴伊。 57 2009 专家系统中非单调推理的理论基础。 Zbl 0581.68068号 D.M.加巴伊。 55 1985 逻辑:其核心概念的历史。 Zbl 1348.03006号 51 2012 正式论证手册。 Zbl 1395.03005号 47 2018 哲学逻辑手册。第8卷。第2版。 Zbl 1055.03002号 43 2002 实数上的时态逻辑的公理化。 Zbl 0744.03018号 D.M.加巴伊。;I.M.霍德金森。 40 1990 情态逻辑和时态逻辑的研究及其在哲学和语言学问题中的应用。 Zbl 0374.02013 Dov M.加巴伊。 40 1976 具有析取性质的可判定有限公理化中间逻辑序列。 Zbl 0289.02032号 D.M.加巴伊。;德容,D.H.J。 39 1974 向逻辑系统添加时间维度。 Zbl 0798.03031号 手指,马塞洛;Dov M.加巴伊。 37 1992 计算机科学逻辑手册。第4卷:语义建模。 Zbl 0876.68001号 36 1995 非经典逻辑中的量化。第一卷。 Zbl 1211.03002号 Dov M.加巴伊。;迪米特里·斯科沃尔佐夫;瓦伦丁·谢特曼 34 2009 支持和攻击网络的时间动态:从论证到生态。初步结果。 Zbl 1098.68122号 霍华德·巴林格;Dov Gabbay公司;约翰·伍兹 33 2005 基于\([0,1)\)-连续单形的模糊逻辑。 Zbl 1128.03015号 Dov Gabbay公司;乔治·梅特卡夫 33 2007 计算机科学逻辑手册。第2卷:背景:计算结构。 Zbl 0777.68001号 32 1992 光纤逻辑。 Zbl 0909.03001号 Dov M.加巴伊。 32 1999 量子逻辑和量子结构手册。量子逻辑。由Anatolij Dvurečenskij作前言。 Zbl 1184.81003号 32 2009 一个不自反引理及其在时态框架条件公理化中的应用。 Zbl 0519.03008号 Dov M.加巴伊。 32 1981 哲学逻辑手册。第5卷。第2版。 Zbl 1065.03001号 31 2002 标签非经典逻辑。Dov M.Gabbay的前言。 Zbl 1003.03001号 卢卡·维甘诺 31 2000 量子逻辑和量子结构手册。量子结构。 Zbl 1119.81005号 31 2007 哲学逻辑手册。第二卷:经典逻辑的扩展。 Zbl 0572.03003号 29 1984 二阶量词消除。基础、计算方面和应用。 Zbl 1165.03011号 Dov M.加巴伊。;雷娜特·施密特(Renate A.Schmidt)。;斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 26 2008 逻辑的分析和综合。如何剪切和粘贴推理系统。 兹比尔1137.03001 沃尔特·卡尼埃利;马塞洛·科尼格里奥;Dov M.加巴伊。;Paula Gouveia;克里斯蒂娜·瑟纳达斯 25 2008 绑架的范围。洞察力和试验。 Zbl 1078.03002号 Dov M.加巴伊。;约翰·伍兹 24 2005 N-PROLOG:带有假设含义的PROLOG的扩展。一、。 Zbl 0576.68001号 D.M.加巴伊。;美国雷尔。 23 1984 逻辑中的多值和非单调转向。 Zbl 1135.03302号 23 2007 时间逻辑。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。 Zbl 0875.03007号 22 1994 人工智能中时间推理手册。 Zbl 1099.68106号 22 2005 道义逻辑和规范系统手册。 Zbl 1309.03001号 22 2013 论证中的完全扩展与逻辑程序设计中的三值稳定模型一致。 Zbl 1189.68127号 吴伊宁;马丁·卡米纳达;Dov M.加巴伊。 22 2009 纤维性论证框架。 Zbl 1185.68670号 Dov M.加巴伊。 22 2009 二十世纪的逻辑和模式。 Zbl 1135.03301号 22 2006 纤维语义和逻辑编织。一: 模态逻辑和直觉逻辑。 Zbl 0872.03007号 D.M.加巴伊。 19 1996 表格方法手册。 Zbl 0956.03001号 19 1999 什么是否定? Zbl 0957.00012号 19 1999 阿贝尔和Łukasiewicz逻辑的序贯和超序贯计算。 Zbl 1407.03037号 乔治·梅特卡夫;尼古拉·奥利维蒂;加布贝,多夫 19 2005 关于完全理解的二阶直觉命题演算。 Zbl 0289.02016 Dov M.加巴伊。 18 1974 时态逻辑中的表达性函数完备性。(初步报告)。 Zbl 0523.03017号 Dov M.加巴伊。 18 1981 树在中间逻辑中的应用。 Zbl 0243.02019号 Dov M.加巴伊。 17 1972 N-PROLOG:带有假设含义的PROLOG的扩展。二、。逻辑基础,否定就是失败。 Zbl 0595.68004号 D.M.加巴伊。 17 1985 副一致性手册。 Zbl 1206.03030号 17 2007 论证网络中攻击的逻辑模式。 Zbl 1185.68671号 Dov M.加巴伊。;阿图尔·达维拉·加塞兹 17 2009 什么是逻辑系统? Zbl 0824.03004号 D.M.加巴伊。 15 1994 神经符号学习系统。基础和应用。 Zbl 1055.68090号 阿图尔·达维拉·加塞斯。;布罗达,Krysia B。;Dov M.加巴伊。 15 2002 从训练好的神经网络中提取符号知识:一种合理的方法。 Zbl 0969.68124号 阿维拉·加塞兹。;布罗达,K。;D.M.加巴伊。 15 2001 Kreisel-Putnam系统的可判定性。 Zbl 0228.02013 Dov M.加巴伊。 15 1971 关于一些新的直觉主义命题连接词。一、。 Zbl 0363.02026号 Dov M.加巴伊。 15 1977 现代逻辑的兴起:从莱布尼茨到弗雷格。 兹比尔1061.01004 14 2004 哲学逻辑手册。第9卷。第2版。 Zbl 1055.03001号 14 2002 哲学逻辑手册。第7卷。第2版。 Zbl 1065.03003号 14 2002 人工智能和逻辑编程逻辑手册。第2卷:扣除方法。 Zbl 0810.68005号 14 1994 计算机科学逻辑手册。第5卷:逻辑和代数方法。 Zbl 1035.03001号 14 2000 计算机科学逻辑手册。第一卷:背景:数学结构。 Zbl 0806.68003号 13 1992 人工智能和逻辑编程逻辑手册。第四卷:认识论和时间推理。 Zbl 0819.03010号 13 1995 通过标记演绎系统对分析演绎的推广。一: 基本子结构逻辑。 Zbl 0816.03012号 达戈斯蒂诺,马塞洛;Dov M.加巴伊。 13 1994 在经典逻辑中对二值非经典逻辑进行编码。 Zbl 0992.03019号 汉斯·尤根·奥巴赫;安德烈亚斯·农纳加特;马尔滕·德·里杰克;Dov M.加巴伊。 13 2001 Studia Logica特刊前言(2)。 Zbl 1182.03062号 Dov M.加巴伊。;范德托雷,利安德特 13 2009 反应Kripke模型和违反义务。 Zbl 1144.03012号 Dov M.加巴伊。 13 2008 模态逻辑的克雷格插值定理。 Zbl 0233.02009号 Dov M.加巴伊。 12 1972 元论证建模。一: 方法和技术。 Zbl 1185.68664号 圭多·波埃拉;Dov M.加巴伊。;范德托雷,利安德特;塞雷娜·维拉塔 12 2009 默认推理的证明理论方法。一: 默认逻辑的Tableaux。 Zbl 0859.03027号 吉安尼·阿马蒂;路易斯娅·卡卢奇·艾略;Dov Gabbay公司;菲奥拉·皮里 11 1996 模态逻辑的一种通用过滤方法。 兹比尔0248.02025 Dov M.加巴伊。 11 1972 时态逻辑的模型理论。 2014年3月30日 Dov M.加巴伊。 11 1975 模态逻辑的产品。二: 经典逻辑中的相对量词。 Zbl 0970.03025号 Dov M.加巴伊。;瓦伦丁·B·谢特曼。 10 2000 具有两个独立变量的模态和中间一阶逻辑的不确定性。 Zbl 0797.0302号 D.M.加巴伊。;谢赫特曼,V.B。 10 1993 一些直觉谓词理论的判定性。 Zbl 0266.02025号 Dov M.加巴伊。 10 1972 哲学逻辑手册。第三卷:经典逻辑的替代品。 Zbl 0603.03001号 10 1986 不可行推理和不确定性管理系统手册。第一卷:不确定性和不精确性的量化表示。 Zbl 0908.90001号 10 1998 不可行推理和不确定性管理系统手册。第二卷:用实际矛盾和潜在矛盾进行推理。 Zbl 0908.90002号 10 1998 十九世纪的英国逻辑。 Zbl 1135.03303号 10 2008 扩展论证框架中高级攻击的语义。一: 概述。 Zbl 1185.68669号 Dov M.加巴伊。 10 2009 中世纪和文艺复兴时期的逻辑。 Zbl 1135.03300号 10 2008 实际形式发展中的插值。 Zbl 0981.03035号 胡安·比卡雷奎;提奥·迪米特拉科斯;Dov Gabbay公司;蒂姆·迈鲍姆 9 2001 存在间隙时的时间表达完整性。 Zbl 0802.03016号 D.M.加巴伊。;I.M.霍德金森。;Reynolds,文学硕士。 9 1993 人工智能和逻辑编程逻辑手册。第一卷:逻辑基础。 Zbl 0808.68027号 9 1993 时间逻辑。第2卷。数学基础和计算方面。 Zbl 1014.03006号 Dov M.加巴伊。;马克·雷诺兹(Mark A.Reynolds)。;马塞洛·芬格 9 2000 可判定性导致非经典逻辑。一、。 Zbl 0309.02053号 Dov M.加巴伊。 9 1975 数据库上下文中的时态逻辑。 Zbl 0919.03018号 Dov Gabbay公司;伊恩·霍德金森 9 1996 塔木德公告逻辑中实体的未来确定。 Zbl 1280.03017号 M·亚伯拉罕。;贝尔弗,I。;D.M.加巴伊。;美国施罗德。 9 2013 用矩阵外推法分析塔木德论证的一个更为直接的推理规则(卡尔·瓦荷马)。 Zbl 1181.03028号 M·亚伯拉罕。;Dov M.加巴伊。;美国施罗德。 9 2009 逻辑哲学。 Zbl 1107.03001号 9 2007 将Curry-Howard解释扩展到线性、相关和其他资源逻辑。 Zbl 0765.03005号 Dov M.加巴伊。;de Queiroz,Ruy J.G.B。 8 1992 MetateM:引言。 Zbl 0838.68014号 H.巴林格。;M·费希尔。;D.加巴伊。;戈夫(G.Gough)。;R.欧文斯。 8 1995 结合时序逻辑系统。 Zbl 0857.03008号 马塞洛·芬格;Dov Gabbay公司 8 1996 产品逻辑的分析计算。 Zbl 1066.03036号 乔治·梅特卡夫;尼古拉·奥利维蒂;加布贝,多夫 8 2004 新的逻辑。 Zbl 0984.03032号 Dov Gabbay公司;约翰·伍兹 8 2001 哲学逻辑手册。第1卷。第2版。 Zbl 0996.03001号 8 2001 超模态逻辑理论:模态逻辑中的模式转换。 Zbl 1009.03012号 D.M.加巴伊。 8 2002 直觉逻辑的模型理论。 Zbl 0242.02059 Dov M.加巴伊。 8 1972 哲学逻辑手册。第一卷:经典逻辑要素。 Zbl 0538.03001号 8 1983 在抽象论证中确保引用的独立性和谨慎的单调性。 Zbl 07460575号 提摩太·坎皮克;胡安·卡洛斯·尼维斯;Dov Gabbay公司 1 2022 抽象论证中单调困境的程度。 Zbl 07542335号 提摩太·坎皮克;Dov Gabbay公司 2 2021 道义逻辑和规范系统手册。第2卷。 Zbl 1505.03006号 1 2021 经典自然演绎中的常态性、非污染性和逻辑深度。 Zbl 1455.03013号 D’马塞洛·阿戈斯蒂诺;Dov Gabbay公司;桑杰·莫吉尔 3 2020 用许多生命介绍抽象论证。 Zbl 1514.68279号 D.加巴伊。;G.罗森伯格。;CS Ashkelon的学生 1 2020 塔木德逻辑项目,自2008年开始实施。 Zbl 07170320号 Dov M.加巴伊。;乌里·希尔德;埃丝特·大卫 1 2019 正式论证手册。 Zbl 1395.03005号 47 2018 哲学逻辑手册。第18卷。 兹比尔1402.03001 2 2018 正式论证手册。第2卷。 Zbl 1504.03001号 2 2018 犹太法典逻辑原理。 兹比尔1445.03003 M·亚伯拉罕。;D.M.加巴伊。;美国施罗德。 1 2018 论证网络中循环的处理。 Zbl 1354.68254号 Dov Gabbay公司 3 2016 选言攻击理论。一、。 Zbl 1407.68464号 D.加巴伊。;M.加巴伊。 2 2016 两极和三极论证网络的逻辑基础:初步结果。 Zbl 1352.68227号 D.M.加巴伊。 1 2016 概率论证:一种方程式方法。 Zbl 1337.68241号 D.M.加巴伊。;罗德里格斯州。 7 2015 数值论证网络中的平衡状态。 Zbl 1346.68185号 D.M.加巴伊。;罗德里格斯州。 7 2015 反应标准道义逻辑。 Zbl 1380.03028号 Dov M.加巴伊。;克里斯蒂安·斯特拉 4 2015 攻击作为强烈的否定。一、。 Zbl 1405.03027号 D.加巴伊。;M.加巴伊。 1 2015 输入/输出逻辑的直觉基础。 Zbl 1311.03041号 家长,Xavier;Dov Gabbay公司;范德托雷,利安德特 5 2014 基于操作的解决方案的权限悖论。 Zbl 1317.03025号 Dov Gabbay公司;洛伊奇Gammaitoni;孙欣 4 2014 论证网络合并的等式方法。 Zbl 1303.68127号 Dov Gabbay公司。M。;罗德里格斯,奥迪纳尔多 4 2014 计算逻辑。 兹比尔1311.03006 4 2014 论证和逻辑编程中的推理和对话证明。 Zbl 1366.68279号 理查德·布斯;Dov Gabbay公司;苏希拉·卡奇;蒂兹·里恩斯特拉;范德托雷,利安德特 4 2014 什么是逻辑系统?进化论观点:1964年至2014年。 Zbl 1404.03009号 Dov M.加巴伊。 2 2014 道义悖论的语言学解释。Beth-Reichenbach语义方法用于矿工场景的新分析。 Zbl 1445.03024号 Dov Gabbay公司;利维奥·罗巴尔多;孙欣;范德托雷,利安德特;佐里巴尼亚萨迪 2 2014 答案集编程中委托和撤销方案的推理。 Zbl 1361.68219号 史蒂夫·巴克;圭多·波埃拉;Dov Gabbay公司;基诺维斯,瓦莱里奥 2 2014 两个参数什么时候相同?抽象论证中的等价性。 Zbl 1335.03004号 Dov Gabbay公司;大卫·格罗西 1 2014 对逆税义务采取的均衡方法。 Zbl 1300.03016号 Dov M.加巴伊。 1 2014 反应性和语法:探索。 Zbl 1486.68084号 霍华德·巴林格;大卫·赖德海尔;Dov Gabbay公司 1 2014 道义逻辑和规范系统手册。 Zbl 1309.03001号 22 2013 塔木德公告逻辑中实体的未来确定。 Zbl 1280.03017号 M·亚伯拉罕。;贝尔弗,I。;D.M.加巴伊。;美国施罗德。 9 2013 深度有界布尔逻辑的语义和证明理论。 Zbl 1315.03107号 D’马塞洛·阿戈斯蒂诺;手指,马塞洛;Gabbay,美国国防部 7 2013 反应式Kripke语义。 Zbl 1298.03001号 Dov M.加巴伊。 2 2013 使用论证理论的信任的社会认知模型。 Zbl 1264.68182号 塞雷娜·维拉塔;圭多·波埃拉;Dov M.加巴伊。;范德托雷,利安德特 2 2013 信念修正和论证动态的趋势。基于2012年1月在马德拉Funchal举行的信仰修正和论证研讨会。 Zbl 1280.03006号 1 2013 反应Kripke模型和违反义务。第一部分:语义。 Zbl 1269.03025号 Dov M.加巴伊。 1 2013 规范推理和结果。 Zbl 1482.68227号 简·布罗森;斯蒂芬·克兰菲尔德;叶希亚·埃尔拉凯比;Dov Gabbay公司;大卫·格罗西;埃米利亚诺·洛里尼;家长,Xavier;范德托雷,Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦州施瓦岑特鲁伯 1 2013 逻辑:其核心概念的历史。 Zbl 1348.03006号 51 2012 在两极论证中建模可取消和优先支持。 Zbl 1280.68255号 塞雷娜·维拉塔;圭多·波埃拉;Dov M.加巴伊。;范德托雷,利安德特 7 2012 引入反应Kripke语义和弧可访问性。 Zbl 1272.03097号 Dov Gabbay公司 6 2012 论证网络合并的数值方法。 Zbl 1361.68227号 Dov Gabbay公司;罗德里格斯,奥迪纳尔多 6 2012 逻辑演绎的功能解释。 Zbl 1248.03003号 de Queiroz,Ruy J.G.B。;德奥利维拉(de Oliveira)、安朱丽娜(Anjolina G.)。;Dov M.加巴伊。 4 2012 二维标准道义逻辑[包括对1985年Jones-Pörn道义逻辑系统的详细分析]。 兹比尔1275.03093 马蒂杰斯·德·波尔;Dov M.加巴伊。;家长,Xavier;马里亚·斯拉夫科维奇 3 2012 二十世纪的场景和延伸。 Zbl 1236.03005号 3 2012 在经典高阶逻辑中嵌入和自动化条件逻辑。 Zbl 1272.03064号 克里斯托夫·本兹穆勒;Dov Gabbay公司;基诺维斯,瓦莱里奥;丹尼尔·里斯波里 3 2012 抽象论证框架规范和验证的论证逻辑。 Zbl 1272.68383号 塞雷娜·维拉塔;圭多·波埃拉;Dov M.加巴伊。;范德托雷,利安德特;Joris Hulstijn 2 2012 反应性的全局视图:切换图及其逻辑。 兹比尔1272.03099 加布贝,多夫;塞尔吉奥·马塞利诺 2 2012 讨论文件:改变规范就是改变义务。 Zbl 1297.03011号 简·布罗森;Dov Gabbay公司;范德托雷,利安德特 2 2012 顺序动态逻辑。 Zbl 1305.03020号 亚历山大·波奇曼;Dov M.加巴伊。 1 2012 反应模态逻辑的完备性定理。 Zbl 1296.03017号 Dov Gabbay公司 1 2012 介绍无功模式表。 Zbl 1271.03028号 Dov Gabbay公司 1 2012 逻辑编程的等式方法。 Zbl 1357.68034号 Dov M.加巴伊。 1 2012 两极论证框架和违反义务,初步报告。 Zbl 1362.68264号 Dov Gabbay公司 1 2012 广义Chisholm集合的时间道义逻辑与义务相反。 Zbl 1297.03013号 Dov Gabbay公司 1 2012 塔木德逻辑中的委托、计数和安全,初步研究。 Zbl 1261.03103号 M·亚伯拉罕。;贝尔弗,R。;D.加巴伊。;美国施罗德。 7 2011 反应自动机。 Zbl 1210.68067号 马克西姆·克罗西莫尔;Dov M.加巴伊。 6 2011 为论证网络引入等式语义。 Zbl 1341.68212号 Dov M.加巴伊。 6 2011 Grundlagen der Mathematik公司。数学基础。I.第一部分前言和§§1-2。由Dov Gabbay、Michael Gabbay,Jörg Siekmann和Claus-Peter Wirth编辑并附有序言。由克劳斯·彼得·沃思(Claus-Peter Wirth)评论1968年第二版德语的翻译,包括1934年第一版德语所有删除部分的注释和翻译。威尔弗里德·西格(Wilfried Sieg)写了一章“希尔伯特的证明理论”。英语和德语双重文本。 兹比尔1283.03005 大卫·希尔伯特;保罗·伯奈斯 5 2011 争论信息来源的可信度。 Zbl 1341.68271号 塞雷娜·维拉塔;圭多·波埃拉;Dov M.加巴伊。;范德托雷,利安德特 5 2011 邓的论证本质上等同于皮尔斯·奎因的经典命题逻辑。 Zbl 1280.03007号 Dov M.加巴伊。 3 2011 塔木德一般和特殊规则的逻辑分析(Klalim-u-Praṭim)。 Zbl 1231.03003号 迈克尔·亚伯拉罕;Dov M.加巴伊。;加布里埃尔·哈祖特;尤塞夫·马鲁夫卡(Yosef E.Maruvka)。;乌里·希尔德 3 2011 一般逻辑中的条件和模块性。 Zbl 1234.03001号 Dov M.加巴伊。;卡尔·施莱赫塔 2 2011 归纳逻辑。 Zbl 1225.03001号 2 2011 模式访问控制逻辑。公理化、语义和FOL定理证明。 Zbl 1215.68220号 基诺维斯,瓦莱里奥;丹尼尔·里斯波里;Dov M.加巴伊。;范德托雷,利安德特 1 2011 反应直觉表。 Zbl 1229.03014号 D.M.加巴伊。 1 2011 塔木德道义逻辑中的义务和禁令。 Zbl 1250.03030号 迈克尔·亚伯拉罕;Dov M.加巴伊。;乌里·希尔德 6 2010 高阶联盟逻辑。 Zbl 1211.03034号 圭多·波埃拉;Dov M.加巴伊。;基诺维斯,瓦莱里奥;范德托雷,利安德特 4 2010 等级结果和条件理论。 Zbl 1193.03037号 Dov M.加巴伊。;卡尔·施莱赫塔 3 2010 规范化多智能体系统中的规范实现问题。 Zbl 1201.68125号 D.格罗西。;D.加巴伊。;范德托雷。 2 2010 修订、可接受性和上下文。理论和算法方面。 Zbl 1203.03023号 Dov M.加巴伊。;罗德里格斯,奥迪纳多·T·。;亚历山德拉·拉索 2 2010 模态和时间论证网络。 Zbl 1288.68205号 霍华德·巴林格;Dov M.加巴伊。 2 2010 用于处理基于代理的系统中的更改的逻辑工具。 Zbl 1215.68219号 Dov M.加巴伊。;卡尔·施莱赫塔 2 2010 布斯和合著者对作品的评论。 Zbl 1198.03024号 Dov M.加巴伊。;卡尔·施莱赫塔 1 2010 模糊逻辑的证明理论。 Zbl 1168.03002号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 66 2009 对形式论证的逻辑解释。 Zbl 1188.03011号 马丁·卡米纳达。;Dov M.加巴伊。 57 2009 非经典逻辑中的量化。第一卷。 Zbl 1211.03002号 Dov M.加巴伊。;迪米特里·斯科沃尔佐夫;瓦伦丁·谢特曼 34 2009 量子逻辑和量子结构手册。量子逻辑。由Anatolij Dvurečenskij作前言。 Zbl 1184.81003号 32 2009 论证中的完全扩展与逻辑程序设计中的三值稳定模型一致。 Zbl 1189.68127号 吴伊宁;马丁·卡米纳达;Dov M.加巴伊。 22 2009 纤维性论证框架。 Zbl 1185.68670号 Dov M.加巴伊。 22 2009 论证网络中攻击的逻辑模式。 Zbl 1185.68671号 Dov M.加巴伊。;Artur S.d加塞兹;阿维拉 17 2009 Studia Logica特刊前言(2)。 Zbl 1182.03062号 Dov M.加巴伊。;范德托雷,利安德特 13 2009 元论证建模。一: 方法和技术。 Zbl 1185.68664号 圭多·波埃拉;Dov M.加巴伊。;范德托雷,利安德特;塞雷娜·维拉塔 12 2009 扩展论证框架中高级攻击的语义。I: 概述。 兹比尔1185.68669 Dov M.加巴伊。 10 2009 塔木德论证的分析——一个使用矩阵推导的更强推理规则(Kal Vachomer)。 Zbl 1181.03028号 M·亚伯拉罕。;Dov M.加巴伊。;美国施罗德。 9 2009 反应优先结构和非单调结果。 Zbl 1174.03010号 Dov M.加巴伊。;卡尔·施莱赫塔 8 2009 神经符号认知推理。 Zbl 1188.68241号 d);阿维拉·加塞兹(Avila Garcez),阿图尔·S·。;兰姆,路易斯·C。;Dov M.加巴伊。 8 2009 反应框架的模态逻辑。 Zbl 1193.03036号 Dov M.加巴伊。;塞尔吉奥·马塞利诺 8 2009 优先逻辑路线图。 Zbl 1187.03026号 Dov M.加巴伊。;卡尔·施莱赫塔 7 2009 论证网络的模式可证明性基础。 Zbl 1188.03012号 Dov M.加巴伊。 7 2009 可失效的继承系统和反应图。 Zbl 1155.68081号 Dov M.加巴伊。;卡尔·施莱赫塔 6 2009 光纤安全语言。 Zbl 1181.03033号 圭多·波埃拉;Dov M.加巴伊。;基诺维斯,瓦莱里奥;范德托雷,利安德特 4 2009 大小和逻辑。 Zbl 1174.03009号 Dov M.加巴伊。;卡尔·施莱赫塔 3 2009 一种模糊安全语言中的访问控制元模型。 Zbl 1181.03031号 史蒂夫·巴克;圭多·波埃拉;Dov M.加巴伊。;基诺维斯,瓦莱里奥 3 2009 有限图上的注释理论。 Zbl 1185.03057号 Dov M.加巴伊。;斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 3 2009 量子逻辑中的非单调性和整体性。 Zbl 1273.81019号 库尔特·恩格塞;Dov Gabbay公司;丹尼尔·莱曼 2 2009 二阶量词消除。基础、计算方面和应用。 兹比尔1165.03011 Dov M.加巴伊。;雷娜特·施密特(Renate A.Schmidt)。;斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 26 2008 逻辑的分析和综合。如何剪切和粘贴推理系统。 Zbl 1137.03001号 沃尔特·卡尼埃利;马塞洛·科尼格里奥;Dov M.加巴伊。;Paula Gouveia;克里斯蒂娜·瑟纳达斯 25 2008 反应Kripke模型和违反义务。 Zbl 1144.03012号 Dov M.加巴伊。 13 2008 十九世纪的英国逻辑。 Zbl 1135.03303号 10 2008 中世纪和文艺复兴时期的逻辑。 Zbl 1135.03300号 10 2008 非单调性的资源本征。 Zbl 1149.03006号 Dov Gabbay公司;约翰·伍兹 5 2008 …还有192多个文档 所有引用出版物 前5名被引用出版物 全部的 前5名2242位作者引用 96 Dov M.加巴伊。 33 拉里萨·勒沃夫娜·马克西莫娃 28 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 20 迈克尔·维克托洛维奇(Michael Viktorovich) 17 弗兰克·沃尔特 16 克里斯蒂娜·塞尔纳达斯。 15 亚历山大·拉比诺维奇 14 迪迪埃·杜布瓦 14 亨利·普拉德。 14 乔安·拉斯加 14 van Benthem,Johan F.A.K。 13 阿诺·阿夫隆 13 乔治·梅特卡夫 13 马克·亚历山大·雷诺兹 13 范德托雷,Leendert W.N。 12 安东尼·亨特 12 诺里希罗·卡米德 12 阿米尔卡·塞尔纳达斯。 12 尤恩·维塔·费多罗夫纳 11 奥费尔·阿列利 11 Stéphane P.德姆里。 11 沃尔夫冈·德沃亚克 11 瓦伦丁·F·戈兰科。 11 安德热伊·因德泽扎克 11 吉列尔莫·里卡多·西马里 11 斯特凡·沃特兰 10 亚历山德罗·阿塔尔 10 路易斯·戈多 10 菲利普·克莱默 10 阿吉·库鲁茨 10 Angelo蒙塔纳里 10 王竹登 10 海因里希·西奥多 9 菲利普·巴尔比亚尼 9 彼得罗·巴罗尼 9 古拉姆·贝扎尼什维利 9 圭多·波埃拉 9 阿加塔·西阿巴托尼 9 拉兹万·迪亚科内斯库 9 马西米利亚诺·贾科明 9 伊恩·马丁·霍德金森 9 劳埃德·亨伯斯通 9 安德烈亚·马西尼 9 雷娜特·施密特(Renate A.Schmidt)。 9 瓦伦丁·B·谢特曼。 9 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 9 托马斯·维特莱恩 8 克里斯托夫·埃瓦尔德·本兹穆勒 8 沃尔特·亚历山大·卡尼埃利 8 达戈斯蒂诺,马塞洛 8 阿图尔·达维拉·加塞斯。 8 克莱尔·狄克逊 8 马塞洛·芬格 8 西尔维奥·吉拉尔迪 8 离开,罗莎莉 8 科斯塔斯·库特拉斯。 8 李庆国 8 佐兰·奥格尼亚诺维奇 8 雅罗斯拉夫·伊戈列维奇·彼得鲁金 8 詹姆斯·拉弗瑞。 8 肖恩·斯坦德弗 8 卢卡·维甘诺 8 马尔科·沃尔佩 7 马提亚斯·巴兹 7 珍妮·伊夫·贝齐奥 7 卡洛斯·卡莱罗 7 道德,德拉甘 7 毛罗·法拉利 7 迈克尔·费希尔 7 劳拉·佐丹奴 7 让·古鲍特·拉雷克 7 乌尔里希·赫斯塔特 7 贾晓东 7 斯坦尼斯拉夫·基科特 7 罗马人孔查科夫 7 寇,惠 7 刘华文 7 卡斯滕·卢茨 7 塞尔吉奥·马塞利诺 7 皮耶朗基罗·米利奥利 7 尼古拉·奥利维蒂 7 帕维尔,波塔克 7 弗拉迪斯拉夫·里日科夫 7 Guido Sciavicco公司 7 马蒂亚斯·蒂姆 7 约翰·V·塔克。 7 范德霍克,威比 7 王三民 7 亚历山大·亚申。 6 费德里科·塞鲁蒂 6 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 6 保罗·E·邓恩。 6 亚历杭德罗·哈维尔·加西亚 6 诺伯特·格拉茨 6 Ho,翁金 6 鲍里斯·科涅夫 6 埃米利亚诺·洛里尼 6 托马斯·卢卡西维奇 6 大卫·克莱门·梅金森 6 乔安·马科斯 …还有2142名作者 全部的 前5名172篇连载文章中引用 168 Studia Logica公司 107 人工智能 94 哲学逻辑杂志 84 应用非经典逻辑杂志 78 理论计算机科学 76 符号逻辑杂志 63 合成 57 国际近似推理杂志 55 符号逻辑述评 54 纯逻辑与应用逻辑年鉴 50 信息与计算 47 模糊集与系统 46 泛逻辑 40 数学与人工智能年鉴 40 应用逻辑杂志 37 圣母院形式逻辑杂志 33 逻辑、语言与信息杂志 30 逻辑与逻辑哲学 28 数学逻辑档案 26 代数与逻辑 26 符号逻辑公报 24 逻辑历史与哲学 23 自动推理杂志 21 西伯利亚数学杂志 18 逻辑科公报 16 国际理论物理杂志 16 拓扑及其应用 15 数学逻辑季刊(MLQ) 14 软计算 14 逻辑程序设计理论与实践 14 程序设计中的逻辑和代数方法杂志 13 ACM计算逻辑事务 13 计算机科学中的逻辑方法 12 信息科学 10 代数普遍性 10 计算机与系统科学杂志 10 MSCS公司。计算机科学中的数学结构 10 Logicheskie Issledovaniya公司 9 数学笔记 8 信息处理信件 8 国际智能系统杂志 7 计算的形式方面 7 逻辑与代数程序设计杂志 6 纯粹与应用代数杂志 6 京都大学数学科学研究所出版物 6 人工智能研究杂志 6 埃尔肯特尼斯 6 SibirskieÈlektronnye Matematicheskie Izvestiya公司 5 新一代计算 4 信息学报 4 国际通用系统杂志 4 数学物理评论 4 凯贝内提卡 4 符号计算杂志 4 计算系统理论 4 托波伊 4 智能与模糊系统杂志 4 物理学基础 4 西伯利亚联邦大学学报。数学和物理 3 数学物理杂志 3 机器学习 3 Indagationes Mathematicae公司。新系列 3 应用的分类结构 3 洛巴切夫斯基数学杂志 3 亨利·彭加莱年鉴 3 国际不确定性、模糊性和基于知识的系统杂志 3 机器学习研究杂志(JMLR) 3 国际现代物理学几何方法杂志 3 科学史与哲学研究。第二部分近代物理史与哲学研究 3 对称 3 计算机科学前沿 2 以色列数学杂志 2 几何与物理杂志 2 数学信使 2 代数杂志 2 语言学与哲学 2 编程和计算机软件 2 美国数学学会汇刊 2 订单 2 算法 2 数学和计算机建模 2 神经网络 2 神经计算 2 国际计算机科学基础杂志 2 国际计算机数学杂志 2 控制论与系统分析 2 复杂性 2 Doklady数学 2 LMS计算与数学杂志 2 计算机基础理论 2 自然计算 2 伊朗模糊系统杂志 2 Steklov数学研究所学报 2 伊尔库茨科戈大学。马特马提卡丝里亚 2 公理 2 诺尔斯 2 欧洲数学杂志 2 ChelyabinskiĭFiziko-Matematicheskiĭ·朱纳尔 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 代数通讯 …还有72部连续剧 全部的 前5名在44个字段中引用 1,707 数学逻辑和基础(03-XX) 897 计算机科学(68至XX) 163 有序,格,有序代数结构(06-XX) 71 历史和传记(01-XX) 64 量子理论(81-XX) 50 一般拓扑结构(54至XX) 50 博弈论、经济学、金融和其他社会和行为科学(91-XX) 48 范畴理论;同调代数(18-XX) 30 总体主题;集合(00-XX) 23 一般代数系统(08-XX) 17 功能分析(46倍X倍) 13 组合数学(05-XX) 12 相对论和引力理论(83至XX) 8 算子理论(47-XX) 8 概率论与随机过程(60-XX) 8 统计学(62-XX) 7 群论与推广(20-XX) 7 生物学和其他自然科学(92-XX) 6 信息与通信理论、电路(94-XX) 4 数论(11-XX) 4 测量和集成(28-XX) 4 差分和函数方程(39至XX) 4 数学教育(97-XX) 3 结合环与代数(16-XX) 3 拓扑群、李群(22日至XX日) 3 常微分方程(34-XX) 3 动力系统和遍历理论(37至XX) 3 微分几何(53至XX) 3 系统论;控制(93至XX) 2 复变量的函数(30年XX月) 2 几个复变量和分析空间(32-XX) 2 几何图形(51至XX) 2 凸和离散几何(52至XX) 2 代数拓扑(55-XX) 2 运筹学、数学规划(90-XX) 1 场论和多项式(12-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 实际功能(26-XX) 1 近似值和展开值(41-XX) 1 变分法与最优控制;最优化(49至XX) 1 整体分析,流形分析(58至XX) 1 数值分析(65-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.