A Deontic Action Logic with Sequential Composition of Actions

  • Piotr Kulicki
  • Robert Trypuz
Conference paper

DOI: 10.1007/978-3-642-31570-1_13

Volume 7393 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Kulicki P., Trypuz R. (2012) A Deontic Action Logic with Sequential Composition of Actions. In: Ågotnes T., Broersen J., Elgesem D. (eds) Deontic Logic in Computer Science. DEON 2012. Lecture Notes in Computer Science, vol 7393. Springer, Berlin, Heidelberg

Abstract

We start our investigations from the deontic action model defined in multi-situation settings. Then we discuss the validity of formulas constructed in a language with a finite number of basic actions, parallel and sequential compositions of actions, a free choice operator and the standard deontic operators of obligation, strong permission and prohibition. The main achievements of the paper are definitions of metalogical counterparts of deontic operators and interpretation function of actions taking into account their terminating and non-terminating executions.

Keywords

deontic action logic sequential composition of actions terminated non-terminated actions 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

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