| Publication | Date of Publication | Type |
|---|
Conditional normative reasoning as a fragment of HOL
Journal of Applied Non-Classical Logics | 2024-12-09 | Paper |
Permissive and regulative norms in deontic logic
Journal Of Logic And Computation | 2024-11-12 | Paper |
| Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments | 2024-10-14 | Paper |
| Analytic proof theory for Åqvist's system F | 2024-08-05 | Paper |
| Perspectival obligation and extensionality in an alethic-deontic setting | 2024-08-05 | Paper |
On some weakened forms of transitivity in the logic of conditional obligation
Journal of Philosophical Logic | 2024-05-27 | Paper |
| Input/output logic with a consistency check -- the case of permission | 2023-02-21 | Paper |
| scientific article; zbMATH DE number 7599983 (Why is no real title available?) | 2022-10-12 | Paper |
| Åqvist's dyadic deontic logic \(\mathbf{E}\) in HOL | 2022-09-28 | Paper |
| I/O logic in HOL | 2022-09-28 | Paper |
| scientific article; zbMATH DE number 7409099 (Why is no real title available?) | 2021-10-12 | Paper |
| Normative reasoning and consequence | 2021-06-15 | Paper |
Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
Artificial Intelligence | 2020-11-16 | Paper |
| Introduction to deontic logic and normative systems | 2019-09-04 | Paper |
| Cumulative aggregation | 2019-07-24 | Paper |
| A dyadic deontic logic in HOL | 2019-07-24 | Paper |
| scientific article; zbMATH DE number 7085150 (Why is no real title available?) | 2019-07-24 | Paper |
| A deontic logic reasoning infrastructure | 2018-09-06 | Paper |
| Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL | 2018-02-23 | Paper |
| scientific article; zbMATH DE number 6741901 (Why is no real title available?) | 2017-07-11 | Paper |
Intuitionistic basis for input/output logic
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
Completeness of Åqvist's systems \(\mathbf E\) and \(\mathbf F\)
The Review of Symbolic Logic | 2015-04-24 | Paper |
Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
Journal of Philosophical Logic | 2014-12-18 | Paper |
``Sing and dance!. Input/output logics without weakening
Deontic Logic and Normative Systems | 2014-09-08 | Paper |
Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]
Synthese | 2013-11-25 | Paper |
Contrary-To-Duties in Games
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Why be afraid of identity? Comments on Sergot and Prakken's views
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Moral Particularism and Deontic Logic
Lecture Notes in Computer Science | 2010-09-29 | Paper |
A complete axiom set for Hansson's deontic logic DSDL2
Logic Journal of the IGPL | 2010-07-26 | Paper |
Remedial interchange, contrary-to-duty obligation and commutation
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
Lecture Notes in Computer Science | 2008-08-28 | Paper |
| scientific article; zbMATH DE number 1735834 (Why is no real title available?) | 2002-04-29 | Paper |
