標題: Titlebook: Deontic Logic and Normative Systems; 12th International C Fabrizio Cariani,Davide Grossi,Xavier Parent Conference proceedings 2014 Springer [打印本頁] 作者: 佯攻 時間: 2025-3-21 17:53
書目名稱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讀者反饋學科排名
作者: FOLD 時間: 2025-3-21 21:01
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 作者: 外科醫(yī)生 時間: 2025-3-22 06:27
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
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 作者: 歌劇等 時間: 2025-3-22 19:39
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
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
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作者: Camouflage 時間: 2025-3-23 05:40
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作者: 神刊 時間: 2025-3-23 11:02
,“Sing and Dance!”, relative to a given set of conditional norms. The meaning of the normative concepts is, then, given in terms of a set of procedures yielding outputs for inputs. Using the same methodology, Stolpe[19,20] has developed some more I/O logics to include systems without the rule of weakening of the outpu作者: seduce 時間: 2025-3-23 15:17 作者: 儀式 時間: 2025-3-23 18:37
Self-governance by Transfiguration: From Learning to Prescriptions,r, their study exhibits a polarity between (i) norms as behavioural patterns emerging from repeated agents’ (inter)actions and (ii) norms as explicit prescriptions. In this paper, we attempt to build a bridge between these two conceptual poles of norms: it takes the form of a mental function for pre作者: 追逐 時間: 2025-3-23 22:41 作者: Cupidity 時間: 2025-3-24 06:07 作者: 談判 時間: 2025-3-24 07:38 作者: sinoatrial-node 時間: 2025-3-24 14:02
Combining Constitutive and Regulative Norms in Input/Output Logic,utput of the constitutive norms are intermediate facts used as input for the regulative norms. The second method is called throughput, and adds the input of the constitutive norms to the intermediate facts. The third method is called reusable throughput, because it reuses the output of the regulativ作者: lactic 時間: 2025-3-24 18:26 作者: 疲憊的老馬 時間: 2025-3-24 20:34 作者: eczema 時間: 2025-3-25 02:45
,British Narco-diplomacy, 1909–46,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作者: ASTER 時間: 2025-3-25 07:17 作者: 使?jié)M足 時間: 2025-3-25 09:53
Andrew D. Medhurst,Menelas N. Pangalosn. 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 作者: EVEN 時間: 2025-3-25 14:16 作者: 神圣將軍 時間: 2025-3-25 18:02
Morphine During Pregnancy in the Rat, the negation of descriptive judgments is structurally different from the negation of normative judgments. In particular, the negation of responsibility judgments seem to conform to the pattern of the negation of normative judgments, thus being a . evidence for the normativity of responsibility judg作者: Compatriot 時間: 2025-3-25 22:08 作者: overhaul 時間: 2025-3-26 01:25 作者: Adenoma 時間: 2025-3-26 07:16 作者: 磨坊 時間: 2025-3-26 12:02 作者: 寬容 時間: 2025-3-26 12:53 作者: Figate 時間: 2025-3-26 20:02 作者: 偽造者 時間: 2025-3-26 23:52
President Fujimori and the Capture of Guzmanr, their study exhibits a polarity between (i) norms as behavioural patterns emerging from repeated agents’ (inter)actions and (ii) norms as explicit prescriptions. In this paper, we attempt to build a bridge between these two conceptual poles of norms: it takes the form of a mental function for pre作者: LEVY 時間: 2025-3-27 04:12 作者: 初次登臺 時間: 2025-3-27 07:41
President Fujimori and the Capture of Guzmanexhaustive alternatives. This kind of theory can solve puzzles that face other linguistic theories of ‘ought’, via the rejection or severe restriction of principles that let us make inferences between ‘ought’ claims. By rejecting or restricting these principles, however, the contrastivist takes on a作者: 鎮(zhèn)壓 時間: 2025-3-27 11:22
https://doi.org/10.1057/9780230376472icity cases. These are modeled by means of argumentative attacks. For this, we adopt a recently proposed framework for logical argumentation in which arguments are generated by a sequent calculus of a given base logic (see[1]), and use standard deontic logic as our base logic. Argumentative attacks 作者: tolerance 時間: 2025-3-27 17:17
https://doi.org/10.1007/978-1-4899-0970-1utput of the constitutive norms are intermediate facts used as input for the regulative norms. The second method is called throughput, and adds the input of the constitutive norms to the intermediate facts. The third method is called reusable throughput, because it reuses the output of the regulativ作者: 雪崩 時間: 2025-3-27 20:54
https://doi.org/10.1007/978-1-4899-0970-1tly present in society in the form of moral or social rules; (ii) specific norms, i.e., duties of particular agents in particular situations. Norms of the two kinds refer to obligatory, permitted and forbidden actions or states. In the paper we start from presenting a simple deontic logic of actions作者: flex336 時間: 2025-3-28 00:31 作者: NATTY 時間: 2025-3-28 02:57 作者: 縮影 時間: 2025-3-28 09:30 作者: 錢財 時間: 2025-3-28 12:55 作者: Femine 時間: 2025-3-28 17:05
President Fujimori and the Capture of Guzmanyze 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-28 21:43
https://doi.org/10.1007/978-3-319-08615-6agents; deontic logic; epistemic logic; formal methods; fuzzy logic; logic; logical analysis; modal and tem作者: 合并 時間: 2025-3-29 02:45 作者: FAR 時間: 2025-3-29 03:11
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265679.jpg作者: concise 時間: 2025-3-29 09:53
Deontic Diversity,erent meanings of the deontic terms in natural language. Some of the ingrained disagreements on postulates in deontic logic may be resolvable if we recognize that the different viewpoints correspond to different meanings of the normative terms of ordinary language.作者: 平息 時間: 2025-3-29 11:32
Detecting Deontic Conflicts in Dynamic Settings,ntic logic. Second we introduce a new semantics for the obligations capable of representing and reasoning about them in these dynamic settings, and lastly we use it to identify the necessary and sufficient conditions to identify conflicting obligations.作者: 占卜者 時間: 2025-3-29 17:09
For a Dynamic Semantics of Necessity Deontic Modals,ing can be derived from the prescriptive one. A dynamic, non truth-functional semantics for necessity deontic modals is developed, in which the ideality relations among possible worlds can be updated. Finally, it is proven that the semantics solves several of the classic deontic paradoxes.作者: Ige326 時間: 2025-3-29 21:42 作者: IRS 時間: 2025-3-30 01:19
,Chisholm’s Paradox and Conditional Oughts,generic oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated logical solution to each of these problems, and explain the relation of the solution to the problem of contrary-to-duty obligations.作者: Amendment 時間: 2025-3-30 06:41
Conference proceedings 2014dality, 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.作者: Facilities 時間: 2025-3-30 09:52 作者: AORTA 時間: 2025-3-30 13:16
A Preference-Based Semantics for CTD Reasoning,r 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 preference-based non-normal one extending and generalizing semantics for classical modal logics.作者: HAIL 時間: 2025-3-30 19:50
Proof Analysis in Deontic Logics,cidable. Then we show that our calculi are equivalent to the axiomatic ones, and therefore that they are sound and complete w.r.t. neighborhood semantics. This is a major step in the development of the proof theory of deontic logics since our calculi allow for a systematic root-first proof search of formal derivations.作者: 珊瑚 時間: 2025-3-30 22:32 作者: 加花粗鄙人 時間: 2025-3-31 01:08 作者: Functional 時間: 2025-3-31 05:27
A Deontic Logic of Actions and States, the two kinds refer to obligatory, permitted and forbidden actions or states. In the paper we start from presenting a simple deontic logic of actions and a simple deontic logic of states. Then we combine them to provide a unified logic of general norms. Finally, we discuss the way in which specific norms can be introduced into the system.作者: 大雨 時間: 2025-3-31 09:34 作者: charisma 時間: 2025-3-31 15:34
Gary A. Gudelsky,Bryan K. Yamamotontic logic. Second we introduce a new semantics for the obligations capable of representing and reasoning about them in these dynamic settings, and lastly we use it to identify the necessary and sufficient conditions to identify conflicting obligations.作者: 狂亂 時間: 2025-3-31 18:57
https://doi.org/10.1057/9780230376472ing can be derived from the prescriptive one. A dynamic, non truth-functional semantics for necessity deontic modals is developed, in which the ideality relations among possible worlds can be updated. Finally, it is proven that the semantics solves several of the classic deontic paradoxes.作者: Intentional 時間: 2025-3-31 22:47 作者: 有角 時間: 2025-4-1 05:49
President Fujimori and the Capture of Guzmangeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated logical solution to each of these problems, and explain the relation of the solution to the problem of contrary-to-duty obligations.作者: FIN 時間: 2025-4-1 09:59
0302-9743 n 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: ep
