| Publication | Date of Publication | Type |
|---|
\textit{Brings it about that} operators decomposed with relating semantics
Studia Logica | 2024-06-26 | Paper |
Tableaux for some deontic logics with the explicit permission operator
Bulletin of the Section of Logic | 2024-02-29 | Paper |
A unified logical framework for reasoning about deontic properties of actions and states
Logic and Logical Philosophy | 2023-12-12 | Paper |
Free choice permission, legitimization and relating semantics
Logic Journal of the IGPL | 2023-07-06 | Paper |
Book review of: F. Liu et al., Knowledge, proof and dynamics: the fourth Asian workshop on philosophical logic
Studia Logica | 2022-03-15 | Paper |
Judging actions on the basis of prima facie duties. The case of self-driving cars
Logic and Logical Philosophy | 2021-01-08 | Paper |
| Conditional normative reasoning with substructural logics | 2019-07-24 | Paper |
| Multivalued logics for conflicting norms | 2019-07-24 | Paper |
A simple voting protocol on quantum blockchain
International Journal of Theoretical Physics | 2019-05-03 | Paper |
Connecting actions and states in deontic logic
Studia Logica | 2017-12-14 | Paper |
Completely and partially executable sequences of actions in deontic context
Synthese | 2017-03-08 | Paper |
On deontic action logics based on Boolean algebra
Journal Of Logic And Computation | 2015-11-03 | Paper |
Jerzy Kalinowski's logic of normative sentences revisited
Studia Logica | 2015-07-02 | Paper |
Deontic Logics Based on Boolean Algebra
Outstanding Contributions to Logic | 2015-04-10 | Paper |
| On minimal models for pure calculi of names | 2015-04-09 | Paper |
| A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic | 2015-02-09 | Paper |
A deontic logic of actions and states
Deontic Logic and Normative Systems | 2014-09-08 | Paper |
| scientific article; zbMATH DE number 6287646 (Why is no real title available?) | 2014-04-23 | Paper |
| scientific article; zbMATH DE number 6287621 (Why is no real title available?) | 2014-04-23 | Paper |
| How to build a deontic action logic | 2013-05-15 | Paper |
An axiomatisation of a pure calculus of names
Studia Logica | 2013-01-03 | Paper |
A deontic action logic with sequential composition of actions
Lecture Notes in Computer Science | 2012-11-02 | Paper |
| A norm-giver meets deontic action logic | 2012-01-05 | Paper |
A systematics of deontic action logics based on Boolean algebra
Logic and Logical Philosophy | 2011-03-09 | Paper |
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
Lecture Notes in Computer Science | 2010-09-29 | Paper |
| scientific article; zbMATH DE number 1078472 (Why is no real title available?) | 1998-03-30 | Paper |
