Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments

DOI10.1007/978-3-030-70084-3_14zbMath1548.0303MaRDI QIDQ6618558

Xavier Parent, Ali Farjami, Christoph Benzmüller

Publication date: 14 October 2024

zbMATH Keywords

semantic embeddingfaithfulnessclassical higher-order logicdyadic deontic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Higher-order logic (03B16)

This page was built for publication: Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments