Xavier Parent

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 4

Top Topics

Random Field Model

Top Venues

J. Log. Comput.

Arch. Formal Proofs

J. Philos. Log.

Publications

Agata Ciabattoni, Nicola Olivetti, Xavier Parent
Dyadic obligations: proofs and countermodels via hypersequents. CoRR (2024)
Maya Olszewski, Xavier Parent, Leendert van der Torre
Permissive and regulative norms in deontic logic. J. Log. Comput. 34 (4) (2024)
Xavier Parent, Christoph Benzmüller
Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). Arch. Formal Proofs 2024 (2024)
Xavier Parent
On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation. J. Philos. Log. 53 (3) (2024)