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


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | 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