6 citations · 17 across the 5 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.AI2018★ 3 cited
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…
cs.AI2018★ 4 cited
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…
cs.AI2018★ 4 cited
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…