第条

推安德森的信封：归属的模态逻辑

作者:

达维德格罗西作者信息和声明

DEON’08：第九届计算机科学道义逻辑国际会议论文集

页263-277

https://doi.org/10.1007/978-3-540-70525-3_20

出版:2008年7月15日出版历史

摘要

本文对规范的归属观进行了形式化分析，将安德森的还原论方法、计数分析和一种新的语言形式化表示方法结合在一起。这种统一的尝试导致了一种基于计数作为语句的道义逻辑简化的新形式的定义。还根据约根森的困境讨论了这一结果。

工具书类

[1]

安德森：规范概念的形式分析。《美国社会学评论》22，9-17（1957）

[2]

安德森：规范的逻辑。逻辑与分析284-91（1958）

[3]

安德森：道义逻辑简化为道德模态逻辑。思维22，100-103（1958）

[4]

安德森：一些与道德规范逻辑不符的令人讨厌的问题。Noös 1345-360（1967）

[5]

van Benthem，J.、van Eijck，J.和Kooi，B.：沟通与变革的逻辑。信息与计算204（11），1620-1662（2006）

数字图书馆

[6]

Blackburn，P.，de Rijke，M.，Venema，Y.：模态逻辑。剑桥大学出版社，剑桥（2001）

[7]

d'Altan，P.、Meyer，J.-J.C.、Wieringa，R.：应然与应然约束的综合框架。收录于：Tan，Y.H.（编辑）《道义和非单调逻辑研讨会工作文件》，鹿特丹，第14-45页（1993）

[8]

Gabbay，D.，Kurucz，A.，Wolter，F.，Zakharyaschev，M.：多维模态逻辑。理论和应用。爱思唯尔，阿姆斯特丹（2003）

[9]

Ghidini，C.，Giunchiglia，F.：局部模型语义或上下文推理=局部性+兼容性。人工智能127（2），221-259（2001）

数字图书馆

[10]

Grossi，D.：《为多智能体系统设计无形的手》，《机构和组织的正式调查》。乌得勒支大学博士论文，SIKS（2007）

[11]

Grossi，D.，Meyer，J.-J.C.，Dignum，F.：计数语义中的模态逻辑研究。摘自：《第十届国际人工智能与法律会议记录》（ICAIL 2005），第1-9页。ACM，纽约（2005）

[12]

Grossi，D.，Meyer，J.-J.C.，Dignum，F.：计数的分类方面：模态逻辑分析。《逻辑与计算杂志》16（5），613-643（2006）

数字图书馆

[13]

Grossi，D.，Meyer，J.-J.C，Dignum，F.：算作：分类还是构成？使用模态逻辑的答案。摘自：Goble，L.，Meyer，J.-J.C.（编辑）DEON 2006。LNCS（LNAI），第4048卷，第115-130页。施普林格，海德堡（2006）

[14]

Grossi，D.，Meyer，J.-J.C.，Dignum，F.：《国家的许多面孔：宪法规则的形式分析》。应用逻辑杂志（即将出版）

[15]

Hansen，J.，Pigozzi，G.，van der Torre，L.：道义逻辑中的十个哲学问题。摘自：Boella，G.，van der Torre，L.，Verhagen，H.（编辑）《规范多代理系统》，Dagstuhl研讨会论文集07122号。Internationales Begegnungs-und Forschungszentrum fuer Informatik（IBFI），德国达格斯图尔宫（2007）

[16]

哈特，H.L.A.：责任和权利的归属。摘自：Flew，A.（编辑）《逻辑与语言》。马尔登·布莱克韦尔（1951）

[17]

Jones，A.J.I.，Sergot，M.：制度化权力的正式表征。IGPL杂志3，427-443（1996）

[18]

Jorgensen，J.：《要务与逻辑》，《Erkentniss》，第288-296页（1937年）

[19]

康格（Kanger），S.：伦理理论的新基础。摘自：Hilpinen，R.（编辑）《道义逻辑：导论和系统阅读》，第36-58页。雷德尔出版公司（1971）

[20]

Krabbendam，J.，Meyer，J.-J.Ch.：背景道义逻辑。收录于：McNamara，P.，Prakken，H.（编辑）《规范、逻辑和信息系统》，第347-362页。IOS出版社，阿姆斯特丹（2003）

[21]

Krabbendam，J.，Meyer，J.-J.Ch.：释放逻辑，用于暂时化动态逻辑，正交化模态逻辑。摘自：Barringer，M.、Fisher，M.，Gabbay，D.、Gough，G.（编辑）《时间逻辑进展》，第21-45页。Kluwer学术出版社，Dordrecht（2000）

[22]

Lomuscio，A.，Sergot，M.：道义解释系统。《逻辑研究》75（1），63-92（2003）

[23]

梅金森：道义逻辑的一个基本问题。摘自：McNamara，P.，Prakken，H.（编辑）《规范、逻辑与信息系统》。道义逻辑和计算机科学新研究。《人工智能与应用前沿》，第49卷，第29-53页。IOS出版社，阿姆斯特丹（1999）

[24]

Pufendorf，S.：《自然法学与Gentium》，1934年版。，第1688页。克拉伦登出版社

[25]

Ricciardi，M.：宪法规则和制度。在巴利马斯坎隆爱尔兰哲学俱乐部会议上提交的论文（1997年2月）

[26]

Searle，J.：言语行为。语言哲学随笔。剑桥大学出版社，剑桥（1969）

[27]

塞尔，J.：《社会现实的构建》。自由新闻（1995）

[28]

Stalnaker，R.：关于语境的表现。《逻辑、语言与信息杂志》7，3-19（1998）

数字图书馆

引用人

国王TVos M公司迪格纳姆五世容克C李·T帕吉特JRiemsdijk M公司(2017)自动化的多级治理法规遵从性检查自治代理和多代理系统2007年10月10日/10458-017-9363年31:6(1283-1343)在线发布日期：2017年11月1日
https://dl.acm.org/doi/10.1007/s10458-017-9363-y
国王T迪格纳姆五世容克C(2016)当法律规则改变时，规则改变也算是法律规则改变吗？第二十二届欧洲人工智能会议记录10.3233/978-1-61499-672-9-3(3-11)在线发布日期：2016年8月29日
https://dl.acm.org/doi/10.3233/978-1-61499-672-9-3

建议

counts-as语义中的模态逻辑研究
ICAIL’05：第十届人工智能与法律国际会议记录

这项工作研究了规范体系的非规范成分，即所谓的counts-as的表示背后的逻辑。我们在这里持有的分析论题是将counts-as-statements视为产生分类和。。。
查询模态逻辑的标记序贯演算
逻辑、语言、信息和计算
摘要
我们提出了各种查询模态逻辑系统的无割标记序列计算，包括好奇的认识逻辑和好奇多角主义逻辑探究式模态逻辑扩展了标准模态逻辑的框架，并用。。。
经典线性逻辑内涵片段的可判定性

证明了内涵经典线性逻辑（MELL）的可判定性。内涵线性逻辑（RLL）被证明是可判定的。我们采用克里普克的方法来证明某些相关逻辑的可判定性。半相关RLL作为优于MELL的逻辑出现。。。

评论

信息和贡献者

问询处

发布于

封面图片指南会议记录

DEON’08：第九届计算机科学道义逻辑国际会议论文集

2008年7月

277页

国际标准图书编号：9783540705246

出版商

Springer-Verlag公司

柏林，海德堡

出版历史

出版：2008年7月15日

作者标记

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

2
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

反映截至2024年9月21日的下载量

其他指标

查看作者指标

引文

引用人

国王TVos M公司迪格纳姆五世容克C李·T帕吉特JRiemsdijk M公司(2017)自动化的多级治理法规遵从性检查自治代理和多代理系统2007年10月10日/10458-017-9363年31:6(1283-1343)在线发布日期：2017年11月1日
https://dl.acm.org/doi/10.1007/s10458-017-9363-y
国王T迪格纳姆五世容克C(2016)当法律规则改变时，规则改变也算是法律规则改变吗？第二十二届欧洲人工智能会议记录10.3233/978-1-61499-672-9-3(3-11)在线发布日期：2016年8月29日
https://dl.acm.org/doi/10.3233/978-1-61499-672-9-3

视图选项

查看选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子