A Unified Semantics for a Family of Modal Logics with Propositional Constants. - Matteo Pascucci (Logica Universalis, 2016)

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

Automated reasoning in normative detachment structures with ideal conditions. - Tomer Libal; Matteo Pascucci (ICAIL, 2019)

Formal Analysis of Responsibility Attribution in a Multimodal Framework. - Daniela Glavanicová; Matteo Pascucci (PRIMA, 2019)

Propositional quantifiers in labelled natural deduction for normal modal logic. - Matteo Pascucci (Log. J. IGPL, 2019)

Disentangling Deontic Positions and Abilities: a Modal Analysis. - Giovanni Sileno; Matteo Pascucci (CILC, 2020)

A Bimodal Simulation of Defeasibility in the Normative Domain. - Tomer Libal; Matteo Pascucci; Leon van der Torre; Dov M. Gabbay (FCR@KI, 2020)

A Note on the Issue of Cohesiveness in Canonical Models. - Matteo Pascucci (J. Log. Lang. Inf., 2020)

Axiomatizing Norms Across Time and the 'Paradox of the Court'. - Daniela Glavanicová; Matteo Pascucci (DEON, 2021)

The Search for Symmetry in Hohfeldian Modalities. - Matteo Pascucci; Giovanni Sileno (Diagrams, 2021)

Computability of Diagrammatic Theories for Normative Positions. - Matteo Pascucci; Giovanni Sileno (JURIX, 2021)

The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism. - Vincent Grandjean; Matteo Pascucci (Minds Mach., 2021)

Correctness and Completeness of Programming Instructions for Traffic Circulation. - Daniela Glavanicová; Matteo Pascucci (Sci. Eng. Ethics, 2021)

Normatively Determined Propositions. - Matteo Pascucci; Claudio E. A. Pizzi (Diagrams, 2022)

DPCL: a Language Template for Normative Specifications. - Giovanni Sileno; L. Thomas van Binsbergen; Matteo Pascucci; Tom M. van Engers (CoRR, 2022)

Vicarious liability: a solution to a problem of AI responsibility? - Daniela Glavanicová; Matteo Pascucci (Ethics Inf. Technol., 2022)

Generalizing Deontic Action Logic. - Alessandro Giordani; Matteo Pascucci (Stud Logica, 2022)

Allowed, or Enabled, That is the Question. - Giovanni Sileno; Matteo Pascucci; Réka Markovich (DEON, 2023)

Assisted Normative Reasoning with Aristotelian Diagrams. - Kathrin Hanauer; Tereza Novotná; Matteo Pascucci (JURIX, 2023)

A formal, diagrammatic, and operational study of normative relations. - Matteo Pascucci; Giovanni Sileno (J. Log. Comput., 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)

Decidability of Ordered Fragments of FOL via Modal Translation. - Hongkai Yin; Matteo Pascucci (CILC, 2024)

Modal Categorical Inferences in Quarc. - Simon Dominik Vonlanthen; Matteo Pascucci (FCR@KI, 2024)

Formalizing Decisional and Operational Roles in Legal Contracts via Term-Modal Logic. - Stef Frijters; Matteo Pascucci (OVERLAY, 2024)