A deontic logic of actions and states

Robert Trypuz, Piotr Kulicki: A deontic logic of actions and states. In: Cariani, Fabrizio; Grossi, Davide; Meheus, Joke; Parent, Xavier (Ed.): Deontic Logic and Normative Systems, 8554 , pp. 258-272, Springer, 2014, ISBN: 978-3-319-08614-9.

Abstract

Deontic considerations are usually conducted in one of the following contexts: (i) general norms expressed in: legal documents, regulations or implicitly present in society in the form of moral or social rules; (ii) specific norms, i.e., duties of particular agents in particular situations. Norms of the two kinds refer to obligatory, permitted and forbidden actions or states. In the paper we start from presenting a simple deontic logic of actions and a simple deontic logic of states. Then we combine them to provide a unified logic of general norms. Finally, we discuss the way in which specific norms can be introduced into the system.

BibTeX (Download)

@incollection{Trypuz2014,
title = {A deontic logic of actions and states},
author = {Robert Trypuz and Piotr Kulicki},
editor = {Fabrizio Cariani and Davide Grossi and Joke Meheus and Xavier Parent

},
url = {http://link.springer.com/chapter/10.1007%2F978-3-319-08615-6_19},
doi = {10.1007/978-3-319-08615-6_19},
isbn = {978-3-319-08614-9},
year  = {2014},
date = {2014-07-01},
booktitle = {Deontic Logic and Normative Systems},
volume = {8554},
pages = {258-272},
publisher = {Springer},
chapter = {A deontic logic of actions and states},
series = {Lecture Notes in Computer Science},
abstract = {Deontic considerations are usually conducted in one of the following contexts: (i) general norms expressed in: legal documents, regulations or implicitly present in society in the form of moral or social rules; (ii) specific norms, i.e., duties of particular agents in particular situations. Norms of the two kinds refer to obligatory, permitted and forbidden actions or states. In the paper we start from presenting a simple deontic logic of actions and a simple deontic logic of states. Then we combine them to provide a unified logic of general norms. Finally, we discuss the way in which specific norms can be introduced into the system.},
keywords = {deontic logic},
pubstate = {published},
tppubtype = {incollection}
}