5 papers
A geometrical view of I/O logic
D. Gabbay, X. Parent, L. van der Torre
We describe a geometrical account of the I/O logic put forth by Makinson and van der Torre. A soundness and completeness results was reported for the simplest I/O operation called…
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support
Christoph Benzmüller, Xavier Parent, Leendert van der Torre
A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is th…
I/O Logic in HOL --- First Steps
Christoph Benzmüller, Xavier Parent
A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/outpu…
First Experiments with a Flexible Infrastructure for Normative Reasoning
Christoph Benzmüller, Xavier Parent
A flexible infrastructure for normative reasoning is outlined. A small-scale demonstrator version of the envisioned system has been implemented in the proof assistant Isabelle/HOL…
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Christoph Benzmüller, Ali Farjami, Xavier Parent
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented. This embedding is proven sound and complete, that is, fait…