@article{studlogica2017,
title = {Connecting actions and states in deontic logic},
author = {Robert Trypuz and Piotr Kulicki},
doi = {10.1007/s11225-017-9716-1},
year = {2017},
date = {2017-02-20},
journal = {Studia Logica},
abstract = {This paper tackles the problem of inference in normative systems where norms concerning actions and states of affairs appear together. A deontic logic of actions and states is proposed as a solution. It is made up of two independent deontic logics, namely a deontic logic of action and a deontic logic of states, interlinked by bridging definitions. It is shown at a language and a model level how an agent should look for norms to follow in a concrete situation. It is pointed out that such specific norms are obtained by finding the most specific obligation and the most general prohibition. They are to be derived from all norms applicable to the situation by using the principles of the logic presented in this paper.},
keywords = {deontic logic, logic of action},
pubstate = {forthcoming},
tppubtype = {article}
}

This paper tackles the problem of inference in normative systems where norms concerning actions and states of affairs appear together. A deontic logic of actions and states is proposed as a solution. It is made up of two independent deontic logics, namely a deontic logic of action and a deontic logic of states, interlinked by bridging definitions. It is shown at a language and a model level how an agent should look for norms to follow in a concrete situation. It is pointed out that such specific norms are obtained by finding the most specific obligation and the most general prohibition. They are to be derived from all norms applicable to the situation by using the principles of the logic presented in this paper.

@book{octl2014,
title = {Krister Segerberg on Logic of Actions},
editor = {Robert Trypuz},
url = {http://www.springer.com/philosophy/logic+and+philosophy+of+language/book/978-94-007-7045-4},
isbn = {978-94-007-7045-4},
year = {2014},
date = {2014-01-01},
volume = {1},
publisher = {Springer},
series = {Outstanding Contributions to Logic},
abstract = {This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as a theory of action, agency, and deontic logics built upon the logics of actions. The second section explores belief revision and update, iterated and irrevocable beliefs change, dynamic doxastic logic and hypertheories.

Segerberg has worked for more than thirty years to analyze the intricacies of real and doxastic actions using formal tools - mostly modal (dynamic) logic and its semantics. He has had such a significant impact on modal logic that "It is hard to roam for long in modal logic without finding Krister Segerberg's traces," as Johan van Benthem notes in his chapter of this book.
},
keywords = {deontic logic, doxastic logic, Krister Segerberg, logic of action},
pubstate = {published},
tppubtype = {book}
}

This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as a theory of action, agency, and deontic logics built upon the logics of actions. The second section explores belief revision and update, iterated and irrevocable beliefs change, dynamic doxastic logic and hypertheories.

Segerberg has worked for more than thirty years to analyze the intricacies of real and doxastic actions using formal tools - mostly modal (dynamic) logic and its semantics. He has had such a significant impact on modal logic that "It is hard to roam for long in modal logic without finding Krister Segerberg's traces," as Johan van Benthem notes in his chapter of this book.

@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}
}

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.