scientific article; zbMATH DE number 2019850
From MaRDI portal
Publication:4440545
zbMath1040.03023MaRDI QIDQ4440545
David Makinson, Leendert van der Torre
Publication date: 4 January 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Adaptive logic characterizations of input/output logic ⋮ Equivalence of defeasible normative systems ⋮ On the complexity of input/output logic ⋮ A concept approach to input/output logic ⋮ Permission from an input/output perspective ⋮ Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter ⋮ Normative Consequence: The Problem of Keeping It Whilst Giving It up ⋮ Two adaptive logics of norm-propositions ⋮ Intermediaries and intervenients in normative systems ⋮ Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base ⋮ Unsettling preferential semantics ⋮ A Lewisian taxonomy for deontic logic ⋮ Stratification of normative systems with intermediaries ⋮ A theory of permission based on the notion of derogation ⋮ A tableaux calculus for default intuitionistic logic ⋮ Normative Systems Represented as Hybrid Knowledge Bases ⋮ Contrary-to-duty reasoning: a categorical approach