Picture for Xavier Parent

Xavier Parent

Normative Conditional Reasoning as a Fragment of HOL

Add code
Aug 22, 2023
Viaarxiv icon

Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support

Add code
Mar 25, 2019
Figure 1 for Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support
Figure 2 for Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support
Figure 3 for Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support
Figure 4 for Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support
Viaarxiv icon

I/O Logic in HOL --- First Steps

Add code
Apr 19, 2018
Figure 1 for I/O Logic in HOL --- First Steps
Figure 2 for I/O Logic in HOL --- First Steps
Figure 3 for I/O Logic in HOL --- First Steps
Viaarxiv icon

First Experiments with a Flexible Infrastructure for Normative Reasoning

Add code
Apr 09, 2018
Figure 1 for First Experiments with a Flexible Infrastructure for Normative Reasoning
Figure 2 for First Experiments with a Flexible Infrastructure for Normative Reasoning
Figure 3 for First Experiments with a Flexible Infrastructure for Normative Reasoning
Figure 4 for First Experiments with a Flexible Infrastructure for Normative Reasoning
Viaarxiv icon

Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL

Add code
Mar 05, 2018
Figure 1 for Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Figure 2 for Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Figure 3 for Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Viaarxiv icon