An update semantics for deontic reasoning

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

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

書籍の一部

An update semantics for deontic reasoning

MPS-Authors

van der Torre, Leendert W. N.
Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

公開されているフルテキストはありません

付随資料 (公開)

There is no public supplementary material available

引用

van der Torre, L. W. N., & Tan, Y.-H. (1999). An update semantics for deontic reasoning. In P., McNamara, & H., Prakken (Eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science (pp. 73-90). Amsterdam, the Netherlands: IOS Press.

引用: https://hdl.handle.net/11858/00-001M-0000-000F-3626-E

要旨

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.