Dov Gabbay公司;塞尔吉奥·马塞利诺 反应性的全局视图:切换图及其逻辑。 (英语) Zbl 1272.03099号 安。数学。Artif公司。智力。 66,编号1-4,131-162(2012).MSC公司:03B45 03B60号 03B62号 03B70号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}和\textit{S.Marcelino},Ann.Math。Artif公司。智力。66,编号1--4,131-162(2012;Zbl 1272.03099) 全文: 内政部 链接
克里斯托夫·本兹穆勒;Dov Gabbay公司;基诺维斯,瓦莱里奥;丹尼尔·里斯波里 在经典高阶逻辑中嵌入和自动化条件逻辑。 (英语) Zbl 1272.03064号 安。数学。Artif公司。智力。 66,编号1-4,257-271(2012). 审核人:奈尔·扎莫夫(喀山) MSC公司:03B15号机组 03B35型 03B60号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}等人,《数学年鉴》。Artif公司。智力。66,编号1--4,257--271(2012;Zbl 1272.03064) 全文: 内政部 arXiv公司 链接
Dov Gabbay公司 引入反应式Kripke语义和arc可访问性。 (英语) Zbl 1272.03097号 安。数学。Artif公司。智力。 66,编号1-4,7-53(2012).MSC公司:03B45 03B62号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay},Ann.数学。Artif公司。智力。66,编号1--4,7--53(2012;Zbl 1272.03097) 全文: 内政部 链接
塞雷娜·维拉塔;圭多·波埃拉;Dov M.加巴伊。;范德托雷、伦德特 在两极论证中建模可取消和优先支持。 (英语) Zbl 1280.68255号 安。数学。Artif公司。智力。 66,编号1-4163-197(2012).MSC公司:68立方英尺 68层37 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.Villata}等人,Ann.数学。Artif公司。智力。66,编号1--4,163-197(2012;Zbl 1280.68255) 全文: 内政部 链接
塞雷娜·维拉塔;圭多·波埃拉;Dov M.加巴伊。;范德托雷、伦德特;Joris Hulstijn 用于规范和验证抽象论证框架的论证逻辑。 (英语) Zbl 1272.68383号 安。数学。Artif公司。智力。 66,编号1-4199-230(2012).MSC公司:第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Villata}等人,Ann.数学。Artif公司。智力。66,编号1--4,199-230(2012;Zbl 1272.68383) 全文: 内政部 链接
Dov M.加巴伊。 反应Kripke模型和论证网络之间的联系概述。 (英语) Zbl 1272.03098号 安。数学。Artif公司。智力。 66,编号1-4,1-5(2012).MSC公司:03B45 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay},Ann.数学。Artif公司。智力。66,第1-4、1-5号(2012年;兹bl 1272.03098) 全文: 内政部
亚历山大·波奇曼;Dov M.加巴伊。 因果动态推理。 (英语) Zbl 1280.03025号 安。数学。Artif公司。智力。 66,编号1-4,231-256(2012).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bochman}和\textit{D.M.Gabbay},Ann.数学。Artif公司。智力。66,编号1--4,231--256(2012;Zbl 1280.03025) 全文: 内政部 链接
Dov Gabbay公司 引入反应模态表。 (英语) Zbl 1271.03028号 安。数学。Artif公司。智力。 66,编号1-4,55-79(2012). 审核人:安德烈·因德泽扎克(Andrzej Indrzejczak) MSC公司:03B45 03财年03 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay},Ann.数学。Artif公司。智力。66,编号1--4,55-79(2012;Zbl 1271.03028) 全文: 内政部 链接
Dov Gabbay公司 反应模态逻辑的完备性定理。 (英语) Zbl 1296.03017号 安。数学。Artif公司。智力。 66,编号1-4,81-129(2012). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B45 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay},Ann.数学。Artif公司。智力。66,编号1--4,81-129(2012;Zbl 1296.03017) 全文: 内政部 链接