找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Deontic Logic and Normative Systems; 12th International C Fabrizio Cariani,Davide Grossi,Xavier Parent Conference proceedings 2014 Springer

[复制链接]
查看: 51698|回复: 61
发表于 2025-3-21 17:53:22 | 显示全部楼层 |阅读模式
书目名称Deontic Logic and Normative Systems
副标题12th International C
编辑Fabrizio Cariani,Davide Grossi,Xavier Parent
视频video
丛书名称Lecture Notes in Computer Science
图书封面Titlebook: Deontic Logic and Normative Systems; 12th International C Fabrizio Cariani,Davide Grossi,Xavier Parent Conference proceedings 2014 Springer
描述This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. The 17 revised papers and the 2 invited papers included in this volume were carefully reviewed and selected from 31 submissions. Topics covered include challenges from natural language for deontic logic; the relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc.; the deontic paradoxes; the modeling of normative concepts other than obligation and permission, e.g., values; the game-theoretical aspects of deontic reasoning; the emergence of norms; norms from a conversational and pragmatic point of view; and norms and argumentation.
出版日期Conference proceedings 2014
关键词agents; deontic logic; epistemic logic; formal methods; fuzzy logic; logic; logical analysis; modal and tem
版次1
doihttps://doi.org/10.1007/978-3-319-08615-6
isbn_softcover978-3-319-08614-9
isbn_ebook978-3-319-08615-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer International Publishing Switzerland 2014
The information of publication is updating

书目名称Deontic Logic and Normative Systems影响因子(影响力)




书目名称Deontic Logic and Normative Systems影响因子(影响力)学科排名




书目名称Deontic Logic and Normative Systems网络公开度




书目名称Deontic Logic and Normative Systems网络公开度学科排名




书目名称Deontic Logic and Normative Systems被引频次




书目名称Deontic Logic and Normative Systems被引频次学科排名




书目名称Deontic Logic and Normative Systems年度引用




书目名称Deontic Logic and Normative Systems年度引用学科排名




书目名称Deontic Logic and Normative Systems读者反馈




书目名称Deontic Logic and Normative Systems读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 21:01:30 | 显示全部楼层
Open Reading without Free Choice,he notorious principle turning permission of disjunction into conjunction of permissions .(. ∨ .) → . ∧ .. We start by giving a first-order logic version of OR that defines permission of action types in terms of the legality of action tokens. We prove that implies FCP. Given that FCP has been heavil
发表于 2025-3-22 01:57:32 | 显示全部楼层
发表于 2025-3-22 06:27:02 | 显示全部楼层
A Preference-Based Semantics for CTD Reasoning,n. The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented. In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can prove soundness and completeness. The semantics is a
发表于 2025-3-22 12:13:03 | 显示全部楼层
Detecting Deontic Conflicts in Dynamic Settings,rtant that these regulations do not conflict with each other and contain contradicting obligations. In the present paper we focus on identifying conflicts between obligations in dynamic settings. We first show the need of an alternative semantics rather than the more classic modelled by standard deo
发表于 2025-3-22 16:36:08 | 显示全部楼层
发表于 2025-3-22 19:39:57 | 显示全部楼层
Factoring Disjunction Out of Deontic Modal Puzzles,d wide discussion in recent work in natural language semantics. First, I contrast two opposed modal views—call them the “box-diamond” theory and EU theory—that form two poles of the contemporary debate. The opposition between them is underwritten by distinct, well-developed conceptions of what it is
发表于 2025-3-22 21:12:39 | 显示全部楼层
Toward a Linguistic Interpretation of Deontic Paradoxes,yze deontic paradoxes, and we illustrate it on the single agent decision problem of the miners scenario. We also introduce extensions with reactive arrows and actions, which can be used to give a linguistic interpretation of multi-agent dialogues.
发表于 2025-3-23 02:10:01 | 显示全部楼层
For a Dynamic Semantics of Necessity Deontic Modals,tics based on a primitive ideality order between possible worlds. Those approaches, however, do not take into account that, in natural language, obligation sentences primarily carry a prescriptive effect. The paper focuses precisely on that prescriptive character, and shows that the reportative read
发表于 2025-3-23 05:40:19 | 显示全部楼层
Proof Analysis in Deontic Logics,ng admissible, and we give a syntactic proof of the admissibility of cut. This yields that the subformula property holds for them and that they are decidable. Then we show that our calculi are equivalent to the axiomatic ones, and therefore that they are sound and complete w.r.t. neighborhood semant
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-30 11:15
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表