Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

van der Torre, Leendert W. N.
Tan, Yao-Hua

dblp
dblp



Editor(s):

McNamara, Paul
Prakken, Henri

dblp
dblp



BibTeX cite key*:

torre:update99

Title, Booktitle

Title*:

An update semantics for deontic reasoning

Booktitle*:

Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science

Chapter:


Series:

Frontiers in Artificial Intelligence and Applications

Language:

English

Publisher

Name*:

IOS Press

URL:


Address*:

Amsterdam, the Netherlands

Publication Type:


Vol, No, pp., Year

Volume:

49

Number:


Edition:


Pages*:

73-90

Month:

January

VG Wort Pages:


ISBN:

ISSN: 0922-6389

Year*:

1999

Abstract, Links, ©

Note:


LaTeX Abstract:

In this paper we propose the deontic logic DUS, that formalizes reasoning
about prescriptive obligations in update semantics. In DUS the definition of
logical validity of obligations is not based on truth values but on action
dynamics. You know the meaning of a normative sentence if you know the
change it brings about in the ideality relation of anyone the news conveyed
by the norm applies to.

URL Abstract:


Tags, Keywords:

Logic, Deontic Logic, Update Semantics

Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@INBOOK{torre:update99,
AUTHOR = {van der Torre, Leendert W. N. and Tan, Yao-Hua},
EDITOR = {McNamara, Paul and Prakken, Henri},
TITLE = {An update semantics for deontic reasoning},
BOOKTITLE = {Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science},
PUBLISHER = {IOS Press},
YEAR = {1999},
VOLUME = {49},
PAGES = {73--90},
SERIES = {Frontiers in Artificial Intelligence and Applications},
ADDRESS = {Amsterdam, the Netherlands},
MONTH = {January},
ISBN = {ISSN: 0922-6389},
}


Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Leon van der Torre
Created
04/12/1999 02:41:11 PM
Revisions
6.
5.
4.
3.
2.
Editor(s)
Christine Kiesel
Uwe Brahm
Anja Becker
Christine Kiesel
Christine Kiesel
Edit Dates
04.09.2001 11:15:33
10.04.2000 14:01:54
04.04.2000 10:19:41
31/03/2000 11:02:20
07/05/99 14:41:19