×
作者ID: 父母.xavier“Parent,Xavier”最近发表的zbMATH文章
发布日期: 家长,Xavier;父母X。
编入索引的文档: 26出版物自2001年以来,包括1本书1个附加arXiv预打印
6作为编辑的贡献
审查活动: 17评论
合著者: 24位合著者具有23联合出版物
566联合作者

按年份列出的出版物

zbMATH Open中包含的引文

20出版物有被引用83中的次48文件 引用人 年份
道义逻辑和规范系统手册。 Zbl 1309.03001号
22
2013
二元道义逻辑中的最大性与最优性。汉森传统中系统的完整性。 Zbl 1321.03032号
家长,Xavier
7
2014
输入/输出逻辑的直觉基础。 Zbl 1311.03041号
家长,Xavier;Dov Gabbay公司;范德托雷、伦德特
5
2014
带有一致性检查的I/O逻辑。 Zbl 1418.03098号
家长,Xavier;范德托雷、伦德特
5
2018
关于奥奎斯特二元道义逻辑的强完备性。 Zbl 1144.03016号
家长,Xavier
5
2008
输入/输出逻辑。 Zbl 1367.03044号
家长,Xavier;范德托雷、伦德特
4
2013
为伦理和法律推理设计规范理论:LogiKEy公司框架、方法和工具支持。 兹比尔1493.68286
克里斯托夫·本兹穆勒;家长,Xavier;范德托雷、伦德特
4
2020
“唱歌跳舞!”。输入/输出逻辑不减弱。 Zbl 1321.03033号
家长,Xavier;范德托雷、伦德特
4
2014
汉森道义逻辑DSDL2的完整公理集。 Zbl 1218.03021号
家长,Xavier
4
2010
道义逻辑和规范系统简介。 Zbl 1431.03034号
家长,Xavier;范德托雷、伦德特
3
2018
Au qvist系统\(\mathbf E\)和\(\mathbf F\)的完整性。 Zbl 1371.03027号
家长,Xavier
3
2015
二维标准道义逻辑[包括对1985年Jones-Pörn道义逻辑系统的详细分析]。 兹比尔1275.03093
马蒂杰斯·德·波尔;Dov M.加巴伊。;家长,Xavier;马里亚·斯拉夫科维奇
3
2012
补救互换、逆税义务和减刑。 Zbl 1181.03019号
父母X。
3
2003
HOL中的I/O逻辑。 Zbl 1513.03040号
克里斯托夫·本兹穆勒;阿里·法贾米;保罗·麦德;家长Xavier
3
2019
HOL中的二元道义逻辑。 Zbl 1418.03069号
克里斯托夫·本兹穆勒;阿里·法贾米;家长,Xavier
2
2018
带有一致性检查的输入/输出逻辑–权限情况。 Zbl 07655717号
玛雅·奥什维斯基;家长,Xavier;范德托雷、伦德特
2
2021
道义逻辑推理基础设施。 Zbl 1509.68327号
克里斯托夫·本兹穆勒;家长Xavier;范德托雷、伦德特
1
2018
规范推理和结果。 Zbl 1482.68227号
简·布罗森;斯蒂芬·克雷菲尔德;叶希亚·埃尔拉凯比;Dov Gabbay公司;大卫·格罗西;埃米利亚诺·洛里尼;家长,Xavier;范德托雷,Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦州施瓦岑特鲁伯
1
2013
道义逻辑和规范系统手册。第2卷。 Zbl 1505.03006号
1
2021
直观I/O操作的模式特征。 Zbl 1515.03103号
家长,Xavier
1
2021
带有一致性检查的输入/输出逻辑–权限情况。 Zbl 07655717号
Olszewski,玛雅;家长,Xavier;范德托雷、伦德特
2
2021
道义逻辑和规范系统手册。第2卷。 Zbl 1505.03006号
1
2021
直观I/O操作的模式特征。 Zbl 1515.03103号
家长,Xavier
1
2021
为伦理和法律推理设计规范理论:LogiKEy公司框架、方法和工具支持。 Zbl 1493.68286号
克里斯托夫·本兹穆勒;家长,Xavier;范德托雷、伦德特
4
2020
HOL中的I/O逻辑。 Zbl 1513.03040号
克里斯托夫·本兹穆勒;阿里·法贾米;保罗·麦德;家长,Xavier
3
2019
具有一致性检查的I/O逻辑。 Zbl 1418.03098号
家长,Xavier;范德托雷、伦德特
5
2018
道义逻辑和规范系统简介。 Zbl 1431.03034号
家长,Xavier;范德托雷、伦德特
3
2018
HOL中的二元道义逻辑。 Zbl 1418.03069号
克里斯托夫·本兹穆勒;阿里·法贾米;家长,Xavier
2
2018
道义逻辑推理基础设施。 Zbl 1509.68327号
克里斯托夫·本兹穆勒;家长,Xavier;范德托雷、伦德特
1
2018
Au qvist系统\(\mathbf E\)和\(\mathbf F\)的完整性。 Zbl 1371.03027号
家长,Xavier
3
2015
二元道义逻辑中的最大性与最优性。汉森传统中系统的完整性。 Zbl 1321.03032号
家长,Xavier
7
2014
输入/输出逻辑的直觉基础。 Zbl 1311.03041号
家长,Xavier;Dov Gabbay公司;范德托雷、伦德特
5
2014
“唱歌跳舞!”。输入/输出逻辑不减弱。 Zbl 1321.03033号
家长,Xavier;范德托雷、伦德特
4
2014
道义逻辑和规范系统手册。 Zbl 1309.03001号
22
2013
输入/输出逻辑。 Zbl 1367.03044号
家长,Xavier;范德托雷、伦德特
4
2013
规范推理和结果。 Zbl 1482.68227号
简·布罗森;斯蒂芬·克兰菲尔德;叶希亚·埃尔拉凯比;Dov Gabbay公司;大卫·格罗西;埃米利亚诺·洛里尼;家长,Xavier;范德托雷,Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦州施瓦岑特鲁伯
1
2013
二维标准道义逻辑[包括对1985年Jones-Pörn道义逻辑系统的详细分析]。 Zbl 1275.03093号
马蒂杰斯·德·波尔;Dov M.加巴伊。;家长,Xavier;斯拉夫科维奇,马里亚
3
2012
汉森道义逻辑DSDL2的完整公理集。 Zbl 1218.03021号
家长,Xavier
4
2010
关于奥奎斯特二元道义逻辑的强完备性。 Zbl 1144.03016号
家长,Xavier
5
2008
补救互换、逆税义务和减刑。 Zbl 1181.03019号
父母X。
3
2003
全部的 前5名

93位作者引用

6 家长,Xavier
6 范德托雷,Leendert W.N。
4 董惠民
4 孙欣
3 克里斯托夫·埃瓦尔德·本兹穆勒
3 布罗森,Jan M。
3 Dov M.加巴伊。
3 罗伊,奥利维尔
2 阿加塔·西阿巴托尼
2 伊利莎·弗雷斯基
2 丹尼拉·格拉瓦尼科娃
2 诺伯特·格拉茨
2 大卫·格罗西
2 比约恩·莱尔曼
2 加布里埃拉·皮戈齐
2 利维奥·罗巴尔多
2 奥顿·斯托尔佩
2 克里斯蒂安·斯特拉瑟
2 保罗·图里尼
1 迈克尔·亚伯拉罕
1 马尔科·阿尔贝蒂
1 迭戈·阿古斯汀·安布罗西奥
1 艾伯特·安格伯格。
1 阿雷塞斯,卡洛斯
1 奥费尔·阿列利
1 塞萨尔·巴托里尼
1 乔纳斯·拜耳
1 贝伦,马修
1 圭多·波埃拉
1 安尼马里州博格
1 瓦伦特·卡萨诺
1 巴勃罗·卡斯特罗。
1 科伦坡托萨托,西尔瓦诺
1 斯蒂芬·克兰菲尔德
1 贾纳斯·Czelakowski
1 蒂齐亚诺·达尔蒙特
1 安德烈亚·德·多梅尼科
1 文森特·德维特
1 道德,德拉甘
1 叶希亚·埃尔拉凯比
1 阿里·法贾米
1 费德里科·法罗尔迪。
1 劳尔·费尔瓦里
1 福恩市长,大卫
1 洛伊奇Gammaitoni
1 马可·加瓦内利
1 弗朗西斯科·詹科(Francesco A.Genco)。
1 阿列克谢·戈纳斯
1 查尔斯·格雷洛
1 弗朗西丝卡·古利萨诺
1 纪尧姆·霍夫曼
1 托马斯·贾穆·埃克
1 马特乌斯·克洛诺夫斯基
1 Kuijer、Louwe Bouke
1 彼得·库利基
1 伊芙琳娜·拉姆
1 加布里埃尔·伦齐尼
1 李旭
1 埃米利亚诺·洛里尼
1 克里希纳·B·马诺卡尔。
1 雷卡·马尔科维奇
1 米歇尔·马托尼
1 维维亚娜·马斯卡迪
1 日产,Ephraim
1 尼古拉·奥利维蒂
1 玛雅·奥什维斯基
1 尼尔·奥伦
1 亚历山德拉·帕尔米吉亚诺
1 莫妮卡·帕尔米拉尼
1 马蒂亚·帕内蒂埃
1 马蒂奥·帕斯库奇
1 多梅尼科·佩莱格里尼
1 法布里西奥·里古齐
1 雷吉斯·里维雷特
1 阿特菲·罗哈尼
1 阿里安娜·罗西
1 乔瓦尼·萨托
1 肯·佐藤
1 乌里·希尔德
1 弗朗索瓦州施瓦岑特鲁伯
1 达娜·斯图尔特·斯科特
1 塞拉诺·苏亚雷斯、法比安·费尔南多
1 辛格,拉瓦尼亚
1 亚历山大·斯蒂恩
1 托马斯·施图德
1 弗拉迪米尔·斯沃博达
1 达斯汀·塔克
1 卢卡·图莫利尼
1 范伯克利,基斯
1 范德普特,弗雷德里克
1 范德霍克,威比
1 王晓龙
1 里卡多·泽斯

按年份列出的引文