A Deontic Logic of Actions and States

  • Robert Trypuz
  • Piotr Kulicki
Conference paper

DOI: 10.1007/978-3-319-08615-6_19

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8554)
Cite this paper as:
Trypuz R., Kulicki P. (2014) A Deontic Logic of Actions and States. In: Cariani F., Grossi D., Meheus J., Parent X. (eds) Deontic Logic and Normative Systems. DEON 2014. Lecture Notes in Computer Science, vol 8554. Springer, Cham

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 action logic norms on actions and states general and specific norms algebra of actions 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Robert Trypuz
    • 1
  • Piotr Kulicki
    • 1
  1. 1.Faculty of PhilosophyJohn Paul II Catholic University of LublinLublinPoland

Personalised recommendations