tlooto
Sign up
Open Access

Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments

Christoph Benzmüller, A. Farjami, X. Parent

2021.2.4Logic, Argumentation and Reasoning

DOI: 10.1007/978-3-030-70084-3_14

Abstract

Abstract is not available.

Citation format

BENZMÜLLER, Christoph; FARJAMI, A.; PARENT, X. Dyadic deontic logic in HOL: Faithful embedding and meta-theoretical experiments. Logic, Argumentation and Reasoning, 2021.