×
作者ID: gabbay.dov-m公司Dov M.Gabbay最近发表的zbMATH文章
发布日期: 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 科学哲学手册

按年份列出的出版物

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-Praim)。 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名

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中的知识共享CC0许可证.应进行更新和更正在Wikidata中.