The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 6796 of Mathematical Reviews Vol. , Issue 2000j
[page]
2000
Mathematical Reviews
Preserved Fulltext
Summary: “In this paper we introduce prohairetic deontic logic
(PDL), a preference-based dyadic deontic logic. ...
(F-TOUL3-IR; Toulouse) ;
Tan, Yao-Hua (NL-ROTT-EU; Rotterdam)
Prohairetic deontic logic (PDL). (English summary)
Logics in artificial intelligence (Dagstuhl, 1998), 77-91, Lecture
Notes in Comput. ...
Page 5753 of Mathematical Reviews Vol. , Issue 2000h
[page]
2000
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
N. van der Torre and Yao-Hua Tan, Prohairetic deontic logic (PDL) (77-91); Leendert W. ...
Dawson and Rajeev Goré, A mechanised proof system for relation algebra using display logic (264-278); Stephane Demri and Beata Konikowska, Relative similarity logics are decidable: reduction to FO? ...
Normative Reasoning and Consequence
2013
Dagstuhl Publications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To emphasize this broadness, we typically refer to "deontic logic and normative systems" rather than deontic logic only. ...
We cover the main issues in modern deontic logic, which is much broader than the traditional modal logic framework of deontic logic, with an emphasis to our intended audience. ...
in modal logic [36] to represent DSDL3 and several other logics such as Prohairetic Deontic Logic. ...
doi:10.4230/dfu.vol4.12111.33
dblp:conf/dagstuhl/BroersenCEGGLPTTTS13
fatcat:nnmadfn5f5fizgskvjwly3cnce
Severity-Sensitive Robustness Analysis in Normative Systems
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In traditional deontic logic frameworks, CTD obligations often lead to inconsistencies [2] . ...
Properties can be specified using various temporal logic formalisms, such as Linear Temporal Logic (LTL) and Computation Tree Logic (CTL) (or its extension CTL * ). ...
Our semantics is based on Prohairetic Deontic Logic (PDL) [12] , where dyadic (conditional) obligations are represented through a preference relation between worlds. ...
doi:10.1007/978-3-319-25420-3_5
fatcat:qmkbx6kdn5fwbl464ngswzumqu
Motivational Attitudes of Agents: On Desires, Obligations, and Norms
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Norms and obligations The formal semantics of obligations (and norms) is based on Prohairetic Deontic Logic (PDL) [18] . ...
PDL is a logic of dyadic obligation defined axiomatically in terms of a monadic modal preference logic. ...
doi:10.1007/3-540-45941-3_9
fatcat:f3iobpyeprdfjfqyzkic2tonxu
Page 86 of Mathematical Reviews Vol. 32, Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(with Tan, Yao-Hua) Prohairetic deontic logic (PDL). (English summary) 2000j:03036
— (with Tan, Yao-Hua) An update semantics for deontic reasoning. ...
Coalgebraic logic. (English summary) 2000h:03042a
— Erratum to: “Coalgebraic logic”. 2000h:03042b
Nakamura, Akira! Conflict logic with degrees. ...
Page 1869 of Mathematical Reviews Vol. 32, Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(with Tan, Yao-Hua) Prohairetic deontic logic (PDL). ...
synthesis and transformation * Logic-based program synthesis and transformation. 2000e:68009 Logic program synthesis and transformation * Logic program synthesis and transformation. 2000¢:68008 Manchester ...
Page 1913 of Mathematical Reviews Vol. 32, Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(with Tan, Yao-Hua) Prohairetic deontic logic (PDL). (English summary) Logics in artificial intelligence (Dagstuhl, 1998), 77-91, Lecture Notes in Comput. Sci., 1489, Springer, Berlin, 1998. ...
(see 2000h:68019) 68T20 (68T27)
— (with Tan, Yao-Hua) An update semantics for deontic reasoning. ...
Severity-sensitive norm-governed multi-agent planning
2017
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Normative system semantics Our semantics is inspired by Prohairetic Deontic Logic (PDL) [29] , and other preferencebased deontic logics, such as that proposed by Prakken and Sergot [22] , where dyadic ...
Transitivity is an intuitive property for a preference relation, including those used in other preference-based deontic logics. ...
doi:10.1007/s10458-017-9372-x
fatcat:cynydelh3rhkxjbja7lsta6hxi