scientific article; zbMATH DE number 7085137
From MaRDI portal
Publication:5224901
zbMath1418.03069MaRDI QIDQ5224901
Xavier Parent, Christoph Benzmüller, Ali Farjami
Publication date: 24 July 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (2)
Extensional higher-order paramodulation in Leo-III ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
Uses Software
This page was built for publication:
