research
∙
08/21/2023
Normative Conditional Reasoning as a Fragment of HOL
We report some results regarding the mechanization of normative (prefere...
share
research
∙
03/25/2019
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support
The area of formal ethics is experiencing a shift from a unique or stand...
research
∙
04/09/2018
First Experiments with a Flexible Infrastructure for Normative Reasoning
A flexible infrastructure for normative reasoning is outlined. A small-s...
research
∙
03/26/2018
I/O Logic in HOL --- First Steps
A semantical embedding of input/output logic in classical higher-order l...
research
∙
02/23/2018