Notions of Instrumentality in Agency Logic. - Kees van Berkel 002; Matteo Pascucci (PRIMA, 2018)

Deontic reasoning: from ancient texts to artificial intelligence.: workshop report. - Agata Ciabattoni; Björn Lellmann; Kees van Berkel 002 (ACM SIGLOG News, 2018)

Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. - Kees van Berkel 002; Tim S. Lyon (JELIA, 2019)

Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. - Kees van Berkel 002; Agata Ciabattoni; Elisa Freschi; Sanjay Modgil (LORI, 2019)

A Neutral Temporal Deontic STIT Logic. - Kees van Berkel 002; Tim S. Lyon (LORI, 2019)

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. - Tim S. Lyon; Kees van Berkel 002 (PRIMA, 2019)

Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics. - Kees van Berkel 002; Tim S. Lyon (CoRR, 2019)

A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms. - Kees van Berkel 002; Tim S. Lyon; Francesco Olivieri (CLAR, 2020)

The Gentle Murder Paradox in Sanskrit Philosophy. - Kees van Berkel 002; Agata Ciabattoni; Elisa Freschi; Francesca Gulisano; Maya Olszewski (DEON, 2021)

If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality. - Kees van Berkel 002; Dov M. Gabbay; Leendert van der Torre (DEON, 2021)

The Varieties of Ought-Implies-Can and Deontic STIT Logic. - Kees van Berkel 002; Tim S. Lyon (DEON, 2021)

Reasoning With and About Norms in Logical Argumentation. - Kees van Berkel 002; Christian Straßer (COMMA, 2022)

Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. - Ofer Arieli; Kees van Berkel 002; Christian Straßer (IJCAI, 2022)

Arguing About Choosing a Normative System: Conflict of Laws. - Kees van Berkel 002; Réka Markovich; Christian Straßer; Leendert van der Torre (JURIX, 2023)

A Tutorial in Proof-Theoretic Approaches to Logical Argumentation. - Kees van Berkel 002; Christian Straßer (RW, 2023)

Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again. - Kees van Berkel 002; Agata Ciabattoni; Elisa Freschi; Francesca Gulisano; Maya Olszewski (J. Log. Lang. Inf., 2023)

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations. - Kees van Berkel 002; Tim S. Lyon; Matteo Pascucci (J. Philos. Log., 2023)

Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. - Ofer Arieli; Kees van Berkel 002; Christian Straßer (AAAI, 2024)

A Nonmonotonic Proof Theory for Dialectical Argumentation Under Bounded Resources. - Kees van Berkel 002; Sanjay Modgil (COMMA, 2024)

Towards Deontic Explanations Through Dialogue. - Kees van Berkel 002; Christian Straßer (ArgXAI@COMMA, 2024)

Towards an Argumentative Unification of Default Reasoning. - Kees van Berkel 002; Christian Straßer; Zheng Zhou (COMMA, 2024)

Deontic Reasoning Based on Inconsistency Measures. - Ofer Arieli; Kees van Berkel 002; Badran Raddaoui; Christian Straßer (KR, 2024)

Proof Theory and Decision Procedures for Deontic STIT Logics. - Tim S. Lyon; Kees van Berkel 002 (J. Artif. Intell. Res., 2024)

A dialectical formalisation of preferred subtheories reasoning under resource bounds. - Kees van Berkel 002; Marcello D'Agostino; Sanjay Modgil (Int. J. Approx. Reason., 2025)