## 2018 |

Musielewicz, Michael; Kulicki, Piotr; Trypuz, Robert Towards a formal ethics for autonomous cars Inproceedings Forthcoming DEON 2018, Forthcoming. Abstract | BibTeX | Tagi: deontic logic @inproceedings{deon2018, title = {Towards a formal ethics for autonomous cars}, author = {Michael Musielewicz and Piotr Kulicki and Robert Trypuz}, year = {2018}, date = {2018-07-01}, booktitle = {DEON 2018}, abstract = {Autonomous vehicles (also called self-driving cars or driverless cars) are one of the emerging technologies that will have a significant impact on society in the upcoming years. The number of companies preparing to manufacture fully autonomous cars is growing, economical and social expectations in that matter are considerable. However, before their large scale implementation and incorporation into the social life several issues need to be addressed. Although the predictions estimate that the traffic safety will be significantly improved, many people are afraid and prefer human driver's control over vehicles or at least human driver's possibility to take the control over the car. One of the reasons is that people want to be sure that in case of hazardous situation or accident a self-driving car will behave in a proper way. What does it mean 'proper way'? This is not an easy to answer question. There are several levels that can be considered here. At the end, however, there is a level of values, especially moral values. In most cases it is possible to avoid damage in property, health and life of passengers and other participants of traffic. Even though it seems credible that a well trained algorithm will perform here better than an average human driver or even a very good driver, there may still be instances where the algorithm will be forced to make a decision which requires ethics. However, there is a foundational problem in how such an ethics may be formalized, if it is even possible. The importance of this work rests in that there are many different points of view of what ethics is the 'right ethics'. In this paper we do not claim to bring about the only right answer. Instead, what we believe is crucial for autonomous vehicles' designers is to make clear what hierarchy of values they impose on their vehicles and move towards a formal ethics for these vehicles. That will enable the potential owners and users of self-driving cars, other traffic participants, and public in general to accept or reject the wide scale usage of such vehicles. To accomplish this, we being by addressing the possibility of ethics for driverless cars, by paying particular attention to issue of their capacity as a normative agent. After this section the paper proposes an ontology for these vehicles which concludes with a specification of a deontic logic that will be useful to build a formal ethics for autonomous cars.}, keywords = {deontic logic}, pubstate = {forthcoming}, tppubtype = {inproceedings} } Autonomous vehicles (also called self-driving cars or driverless cars) are one of the emerging technologies that will have a significant impact on society in the upcoming years. The number of companies preparing to manufacture fully autonomous cars is growing, economical and social expectations in that matter are considerable. However, before their large scale implementation and incorporation into the social life several issues need to be addressed. Although the predictions estimate that the traffic safety will be significantly improved, many people are afraid and prefer human driver's control over vehicles or at least human driver's possibility to take the control over the car. One of the reasons is that people want to be sure that in case of hazardous situation or accident a self-driving car will behave in a proper way. What does it mean 'proper way'? This is not an easy to answer question. There are several levels that can be considered here. At the end, however, there is a level of values, especially moral values. In most cases it is possible to avoid damage in property, health and life of passengers and other participants of traffic. Even though it seems credible that a well trained algorithm will perform here better than an average human driver or even a very good driver, there may still be instances where the algorithm will be forced to make a decision which requires ethics. However, there is a foundational problem in how such an ethics may be formalized, if it is even possible. The importance of this work rests in that there are many different points of view of what ethics is the 'right ethics'. In this paper we do not claim to bring about the only right answer. Instead, what we believe is crucial for autonomous vehicles' designers is to make clear what hierarchy of values they impose on their vehicles and move towards a formal ethics for these vehicles. That will enable the potential owners and users of self-driving cars, other traffic participants, and public in general to accept or reject the wide scale usage of such vehicles. To accomplish this, we being by addressing the possibility of ethics for driverless cars, by paying particular attention to issue of their capacity as a normative agent. After this section the paper proposes an ontology for these vehicles which concludes with a specification of a deontic logic that will be useful to build a formal ethics for autonomous cars. |

## 2017 |

Trypuz, Robert; Kulicki, Piotr Connecting actions and states in deontic logic Journal Article Studia Logica, 105 (5), pp. 915–942, 2017. Abstract | Links | BibTeX | Tagi: deontic logic, logic of action @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}, volume = {105}, number = {5}, pages = {915–942}, 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 = {published}, 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. |

## 2016 |

Kulicki, Piotr; Trypuz, Robert Multivalued logics for conflicting norm Inproceedings Deontic Logic and Normative Systems (DEON 2016), pp. 123-138, College Publications, 2016. BibTeX | Tagi: deontic logic @inproceedings{deon2016, title = {Multivalued logics for conflicting norm}, author = {Piotr Kulicki and Robert Trypuz}, year = {2016}, date = {2016-07-01}, booktitle = {Deontic Logic and Normative Systems (DEON 2016)}, pages = {123-138}, publisher = {College Publications}, keywords = {deontic logic}, pubstate = {published}, tppubtype = {inproceedings} } |

## 2015 |

Trypuz, Robert; Kulicki, Piotr On deontic action logics based on Boolean algebra Journal Article Journal of Logic and Computation, 25 (5), pp. 1241-1260, 2015. Abstract | Links | BibTeX | Tagi: deontic logic @article{Trypuz2013, title = {On deontic action logics based on Boolean algebra}, author = {Robert Trypuz and Piotr Kulicki}, doi = {10.1093/logcom/ext057}, year = {2015}, date = {2015-01-01}, journal = {Journal of Logic and Computation}, volume = {25}, number = {5}, pages = {1241-1260}, abstract = {The aim of this article is to provide a metalogical systematization in the area of deontic action logic based on Boolean algebra. Differences among the systems involve two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of obligation in these systems are unacceptable due to their non-intuitive interpretation or paradoxical consequences. As a solution we propose a minimal axiomatic characterization of obligation with an adequate class of models. This article also describes how deontic action logic can be used to answer the questions from the Polish driving license test.}, keywords = {deontic logic}, pubstate = {published}, tppubtype = {article} } The aim of this article is to provide a metalogical systematization in the area of deontic action logic based on Boolean algebra. Differences among the systems involve two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of obligation in these systems are unacceptable due to their non-intuitive interpretation or paradoxical consequences. As a solution we propose a minimal axiomatic characterization of obligation with an adequate class of models. This article also describes how deontic action logic can be used to answer the questions from the Polish driving license test. |

## 2014 |

Trypuz, Robert; Kulicki, Piotr A deontic logic of actions and states Incollection 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 | Links | BibTeX | Tagi: deontic logic @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} } 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. |

Trypuz, Robert (Ed.) Krister Segerberg on Logic of Actions Book Springer, 2014, ISBN: 978-94-007-7045-4. Abstract | Links | BibTeX | Tagi: deontic logic, doxastic logic, Krister Segerberg, logic of action @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. |

## 2013 |

Kulicki, Piotr; Trypuz, Robert Modelowanie działań i norm w logice deontycznej Incollection Księga Pamiątkowa, pp. 57-70, Wydawnictwo Adam Marszałek, 2013. BibTeX | Tagi: deontic logic @incollection{Kp, title = {Modelowanie działań i norm w logice deontycznej}, author = {Piotr Kulicki and Robert Trypuz}, year = {2013}, date = {2013-06-01}, booktitle = {Księga Pamiątkowa}, pages = {57-70}, publisher = {Wydawnictwo Adam Marszałek}, keywords = {deontic logic}, pubstate = {published}, tppubtype = {incollection} } |

Kulicki, Piotr; Trypuz, Robert Two faces of obligation Incollection Brożek, Anna; Jadacki, Jacek; Zarnic, Berislav (Ed.): Theory of Imperatives from Different Points of View, Wydawnictwo Naukowe Semper, 2013, ISBN: 978-83-7507-205-1. Abstract | Links | BibTeX | Tagi: deontic logic @incollection{twofaces2012, title = {Two faces of obligation}, author = {Piotr Kulicki and Robert Trypuz}, editor = {Anna Brożek and Jacek Jadacki and Berislav Zarnic}, url = {http://trypuz.pl/wp-content/uploads/2013/08/imperatives_book-RT-kopia1.pdf}, isbn = {978-83-7507-205-1}, year = {2013}, date = {2013-01-01}, booktitle = {Theory of Imperatives from Different Points of View}, publisher = {Wydawnictwo Naukowe Semper}, series = {Logic, Methodology and Philosophy of Science at Warsaw University 7}, abstract = {In the paper we discuss different intuitions about the properties of obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguished – abstract and processed obligation. We introduce them formally into the system of deontic logic of actions and investigate their properties and mutual relations.}, keywords = {deontic logic}, pubstate = {published}, tppubtype = {incollection} } In the paper we discuss different intuitions about the properties of obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguished – abstract and processed obligation. We introduce them formally into the system of deontic logic of actions and investigate their properties and mutual relations. |

## 2012 |

Kulicki, Piotr; Trypuz, Robert A deontic action logic with sequential composition of actions Inproceedings 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 | Links | BibTeX | Tagi: deontic logic, logic of action @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. |

## 2011 |

Trypuz, Robert Simple Theory of Norm and Action Incollection Brożek, Anna; Jadacki, Jacek; Zarnic, Berislav (Ed.): Theory of Imperatives from Different Points of View, pp. 120 – 136, Wydawnictwo Naukowe Semper, 2011, ISBN: 978-83-7507-078-1. Links | BibTeX | Tagi: deontic logic @incollection{setna2011, title = {Simple Theory of Norm and Action}, author = {Robert Trypuz}, editor = {Anna Brożek and Jacek Jadacki and Berislav Zarnic}, url = {http://trypuz.pl/wp-content/papercite-data/pdf/setna2011.pdf}, isbn = {978-83-7507-078-1}, year = {2011}, date = {2011-01-01}, booktitle = {Theory of Imperatives from Different Points of View}, pages = {120 -- 136}, publisher = {Wydawnictwo Naukowe Semper}, series = {Logic, Methodology and Philosophy of Science at Warsaw University 6}, keywords = {deontic logic}, pubstate = {published}, tppubtype = {incollection} } |

Trypuz, Robert; Kulicki, Piotr A Norm-giver Meets Deontic Action Logic Journal Article Logic and Logical Philosophy, 20 , pp. 59–-72, 2011. Abstract | Links | BibTeX | Tagi: abilities, deontic logic @article{llp2011, title = {A Norm-giver Meets Deontic Action Logic}, author = {Robert Trypuz and Piotr Kulicki}, url = {http://wydawnictwoumk.pl/czasopisma/index.php/LLP/article/view/LLP.2011.003/788}, year = {2011}, date = {2011-01-01}, journal = {Logic and Logical Philosophy}, volume = {20}, pages = {59---72}, abstract = {In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the theses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate.}, keywords = {abilities, deontic logic}, pubstate = {published}, tppubtype = {article} } In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the theses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate. |

Kulicki, Piotr; Trypuz, Robert How to Build a Deontic Action Logic Inproceedings The Logica Yearbook, pp. 107–-120, College Publications, 2011. Abstract | Links | BibTeX | Tagi: deontic logic, multivalued logic @inproceedings{ly2011, title = {How to Build a Deontic Action Logic}, author = {Piotr Kulicki and Robert Trypuz}, url = {http://trypuz.pl/wp-content/papercite-data/pdf/ly2011.pdf}, year = {2011}, date = {2011-01-01}, booktitle = {The Logica Yearbook}, pages = {107---120}, publisher = {College Publications}, abstract = {The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and how it characterises deontic properties in relation to (the representation of) actions. On the other hand it is a guideline how to build a deontic action logic which satisfies the desired properties.}, keywords = {deontic logic, multivalued logic}, pubstate = {published}, tppubtype = {inproceedings} } The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and how it characterises deontic properties in relation to (the representation of) actions. On the other hand it is a guideline how to build a deontic action logic which satisfies the desired properties. |

## 2010 |

Trypuz, Robert; Kulicki, Piotr Towards metalogical systematisation of deontic action logics based on Boolean algebra Inproceedings Governatori, Guido; Sartor, Giovanni (Ed.): Deontic Logic in Computer Science (DEON 2010), pp. 132–147, 2010, ISBN: 978-3-642-14182-9. Abstract | Links | BibTeX | Tagi: deontic logic @inproceedings{deon2010, title = {Towards metalogical systematisation of deontic action logics based on Boolean algebra}, author = {Robert Trypuz and Piotr Kulicki}, editor = {Guido Governatori and Giovanni Sartor}, url = {http://link.springer.com/chapter/10.1007%2F978-3-642-14183-6_11}, isbn = {978-3-642-14182-9}, year = {2010}, date = {2010-01-01}, booktitle = {Deontic Logic in Computer Science (DEON 2010)}, pages = {132--147}, abstract = {The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie in two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of obligation in those systems are not acceptable due to their unintuitive interpretation or paradoxical consequences. As a solution we propose an axiomatic characterisation of obligation with an adequate class of models.}, keywords = {deontic logic}, pubstate = {published}, tppubtype = {inproceedings} } The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie in two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of obligation in those systems are not acceptable due to their unintuitive interpretation or paradoxical consequences. As a solution we propose an axiomatic characterisation of obligation with an adequate class of models. |

## 2009 |

Trypuz, Robert; Kulicki, Piotr A systematics of deontic action logics based on Boolean algebra Journal Article Logic and Logical Philosophy, 18 (3--4), pp. 253–270, 2009. Abstract | Links | BibTeX | Tagi: deontic logic @article{llp2009, title = {A systematics of deontic action logics based on Boolean algebra}, author = {Robert Trypuz and Piotr Kulicki}, url = {http://wydawnictwoumk.pl/czasopisma/index.php/LLP/article/view/LLP.2009.012}, year = {2009}, date = {2009-01-01}, journal = {Logic and Logical Philosophy}, volume = {18}, number = {3--4}, pages = {253--270}, abstract = {Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practical point of view. The fundament for contemporary research was established by K. Segerberg, who introduced his systems of basic deontic logic of urn model actions in early 1980s. Nowadays such logics are considered mainly within propositional dynamic logic (PDL). Two approaches can be distinguished: in one of them deontic operators are introduced using dynamic operators and the notion of violation, in the other at least some of them are taken as primitive. The second approach may be further divided into the systems based on Boolean algebra of actions and the systems built on the top of standard PDL. In the present paper we are interested in the systems of deontic action logic based on Boolean algebra. We present axiomatizations of six systems and set theoretical models for them. We also show the relations among them and the position of some existing theories on the resulting picture. Such a presentation allows the reader to see the spectrum of possibilities of formalization of the subject.}, keywords = {deontic logic}, pubstate = {published}, tppubtype = {article} } Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practical point of view. The fundament for contemporary research was established by K. Segerberg, who introduced his systems of basic deontic logic of urn model actions in early 1980s. Nowadays such logics are considered mainly within propositional dynamic logic (PDL). Two approaches can be distinguished: in one of them deontic operators are introduced using dynamic operators and the notion of violation, in the other at least some of them are taken as primitive. The second approach may be further divided into the systems based on Boolean algebra of actions and the systems built on the top of standard PDL. In the present paper we are interested in the systems of deontic action logic based on Boolean algebra. We present axiomatizations of six systems and set theoretical models for them. We also show the relations among them and the position of some existing theories on the resulting picture. Such a presentation allows the reader to see the spectrum of possibilities of formalization of the subject. |

## 2008 |

Trypuz, Robert Setna -- prosta teoria norm i działań Journal Article Filozofia Nauki, 3--4 (63--64) , pp. 155–175, 2008. Links | BibTeX | Tagi: deontic logic @article{fn2008, title = {Setna -- prosta teoria norm i działań}, author = {Robert Trypuz}, url = {http://trypuz.pl/wp-content/papercite-data/pdf/fn2008.pdf}, year = {2008}, date = {2008-01-01}, journal = {Filozofia Nauki}, volume = {3--4 (63--64)}, pages = {155--175}, keywords = {deontic logic}, pubstate = {published}, tppubtype = {article} } |

## 2004 |

Trypuz, Robert Spór o wartość logiczną norm. Logika norm a logika deontyczna Journal Article Roczniki Filozoficzne, LII (1), pp. 293–316, 2004. Links | BibTeX | Tagi: deontic logic @article{rf2004, title = {Spór o wartość logiczną norm. Logika norm a logika deontyczna}, author = {Robert Trypuz}, url = {http://trypuz.pl/wp-content/papercite-data/pdf/rf2004.pdf}, year = {2004}, date = {2004-01-01}, journal = {Roczniki Filozoficzne}, volume = {LII}, number = {1}, pages = {293--316}, keywords = {deontic logic}, pubstate = {published}, tppubtype = {article} } |

# Publications

## 2018 |

Towards a formal ethics for autonomous cars Inproceedings Forthcoming DEON 2018, Forthcoming. |

## 2017 |

Connecting actions and states in deontic logic Journal Article Studia Logica, 105 (5), pp. 915–942, 2017. |

## 2016 |

Multivalued logics for conflicting norm Inproceedings Deontic Logic and Normative Systems (DEON 2016), pp. 123-138, College Publications, 2016. |

## 2015 |

On deontic action logics based on Boolean algebra Journal Article Journal of Logic and Computation, 25 (5), pp. 1241-1260, 2015. |

## 2014 |

A deontic logic of actions and states Incollection 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. |

Krister Segerberg on Logic of Actions Book Springer, 2014, ISBN: 978-94-007-7045-4. |

## 2013 |

Modelowanie działań i norm w logice deontycznej Incollection Księga Pamiątkowa, pp. 57-70, Wydawnictwo Adam Marszałek, 2013. |

Two faces of obligation Incollection Brożek, Anna; Jadacki, Jacek; Zarnic, Berislav (Ed.): Theory of Imperatives from Different Points of View, Wydawnictwo Naukowe Semper, 2013, ISBN: 978-83-7507-205-1. |

## 2012 |

A deontic action logic with sequential composition of actions Inproceedings 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. |

## 2011 |

Simple Theory of Norm and Action Incollection Brożek, Anna; Jadacki, Jacek; Zarnic, Berislav (Ed.): Theory of Imperatives from Different Points of View, pp. 120 – 136, Wydawnictwo Naukowe Semper, 2011, ISBN: 978-83-7507-078-1. |

A Norm-giver Meets Deontic Action Logic Journal Article Logic and Logical Philosophy, 20 , pp. 59–-72, 2011. |

How to Build a Deontic Action Logic Inproceedings The Logica Yearbook, pp. 107–-120, College Publications, 2011. |

## 2010 |

Towards metalogical systematisation of deontic action logics based on Boolean algebra Inproceedings Governatori, Guido; Sartor, Giovanni (Ed.): Deontic Logic in Computer Science (DEON 2010), pp. 132–147, 2010, ISBN: 978-3-642-14182-9. |

## 2009 |

A systematics of deontic action logics based on Boolean algebra Journal Article Logic and Logical Philosophy, 18 (3--4), pp. 253–270, 2009. |

## 2008 |

Setna -- prosta teoria norm i działań Journal Article Filozofia Nauki, 3--4 (63--64) , pp. 155–175, 2008. |

## 2004 |

Spór o wartość logiczną norm. Logika norm a logika deontyczna Journal Article Roczniki Filozoficzne, LII (1), pp. 293–316, 2004. |