A deontic action logic with sequential composition of actions

Piotr Kulicki, Robert Trypuz: A deontic action logic with sequential composition of actions. In: Agotnes, Thomas; Broersen, Jan; Elgesem, Dag (Ed.): Deontic Logic in Computer Science, Lecture Notes in Computer Science, pp. 184–198, Springer Berlin / Heidelberg, DOI: 10.1007/978-3-642-31570-1_13, 2012, ISBN: 978-3-642-31569-5.

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.

BibTeX (Download)

@inproceedings{deon2012,
title = {A deontic action logic with sequential composition of actions},
author = {Piotr Kulicki and Robert Trypuz},
editor = {Thomas Agotnes and Jan Broersen and Dag Elgesem},
url = {http://link.springer.com/chapter/10.1007%2F978-3-642-31570-1_13},
isbn = {978-3-642-31569-5},
year  = {2012},
date = {2012-01-01},
booktitle = {Deontic Logic in Computer Science, Lecture Notes in Computer Science},
volume = {Volume 7393/2012},
pages = {184--198},
publisher = {Springer Berlin / Heidelberg},
address = {DOI: 10.1007/978-3-642-31570-1_13},
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 logic, logic of action},
pubstate = {published},
tppubtype = {inproceedings}
}