搜索页_+deontic+logic

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

Wiley电子期刊(1)	SpringerLink电子期刊(242)	Elsevier电子期刊(58)
Springer电子图书(15)	ProQuest学位论文(2)

在“SpringerLink电子期刊”中，命中：242条，耗时：0.0159927 秒

在所有数据库中总计命中：318条

1. A Conflict Between Some Semantic Conditions of Carmo and Jones for Contrary-to-Duty Obligations

作者： Bjørn Kjos-Hanssen

关键词：Contrary ; to ; duty obligations ; Chisholm’s paradox ; Deontic logic

刊名：Studia Logica

出版年：2017

2. Adaptive Logic Characterizations of Input/Output Logic

作者： Christian Straßer ; Mathieu Beirlaen ; Frederik Van De Putte

关键词：Input/output logic ; Adaptive logics ; Proof theory ; Nonmonotonic logic ; Deontic logic ; Deontic conflicts

刊名：Studia Logica

出版年：2016

3. Mally’s Deontic Logic: Reducibility and Semantics

作者： Gert-Jan C. Lokhorst

关键词：Deontic logic ; Intuitionistic logic

刊名：Journal of Philosophical Logic

出版年：2015

4. Conflicting reasons, unconflicting ‘ought’s

作者： Shyam Nair

关键词：Reasons ; Obligations ; Normative conflicts ; Deontic logic

刊名：Philosophical Studies

出版年：2016

5. Contract automata

作者： Shaun Azzopardi ; Gordon J. Pace ; Fernando Schapachnik…

关键词：Deontic logic ; Contract automata ; \(\mathscr {C\!L}\)

刊名：Artificial Intelligence and Law

出版年：2016

6. Contrary-to-Duty Reasoning: A Categorical Approach

作者： Clayton Peterson

关键词：Primary 03B45 ; Secondary 03B60 ; Conditional obligations ; factual detachment ; augmentation ; deontic explosion ; normative consistency ; categorical logic ; deontic logic ; dyadic deontic logic ; non ; monotonic logic

刊名：Logica Universalis

出版年：2015

7. Jerzy Kalinowski’s Logic of Normative Sentences Revisited

作者： Robert Trypuz ; Piotr Kulicki

关键词：Deontic action logic ; Moral indiscernibility of actions ; Jerzy Kalinowski ; Krister Segerberg

刊名：Studia Logica

出版年：2015

8. Completely and partially executable sequences of actions in deontic context

作者： Piotr Kulicki ; Robert Trypuz

关键词：Deontic action logic ; Sequential composition of actions ; Successful and unsuccessful actions ; Logic of procedures

刊名：Synthese

出版年：2015

9. syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications

作者：Ramiro Demasi (15)
Pablo F. Castro (17) (18)
Nicol谩s Ricci (17) (18)
Thomas S. E. Maibaum (16)
Nazareno Aguirre (17) (18)

15. Fondazione Bruno Kessler ; Trento ; Italy
17. Departamento de Computaci贸n ; FCEFQyN ; Universidad Nacional de R铆o Cuarto ; R铆o Cuarto ; C贸rdoba ; Argentina
18. Consejo Nacional de Investigaciones Cient铆ficas y T茅cnicas (CONICET) ; Buenos Aires ; Argentina
16. Department of Computing and Software ; McMaster University ; Hamilton ; Ontario ; Canada

关键词：Fault ; tolerance ; Program synthesis ; Temporal logics ; Deontic logics

刊名：Lecture Notes in Computer Science

出版年：2015

10. Deontic BPMN: a powerful extension of BPMN with a trusted model transformation

作者： Christine Natschl?ger ; Felix Kossak ; Klaus-Dieter Schewe

关键词：Business process modelling ; BPMN ; Deontic logic ; Graph transformation ; Deterministic transformation ; Semantic analysis

刊名：Software and Systems Modeling

出版年：2015

按检索点细分(242)

题名(71)

关键词(99)

文摘(200)

按出版年细分(242)

2017年(1)

2016年(3)

2015年(16)

2014年(24)

2013年(12)

2012年(38)

2011年(5)

2010年(10)

2009年(9)

2008年(13)

2007年(22)

2006年(40)

2005年(8)

2004年(5)

2003年(8)

2002年(5)

2001年(9)

2000年(4)

2000年及以前(10)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700