scientific article; zbMATH DE number 2019850
From MaRDI portal
Publication:4440545
zbMATH Open1040.03023MaRDI QIDQ4440545FDOQ4440545
Authors: David Makinson, Leendert van der Torre 
Publication date: 4 January 2004
Title of this publication is not available (Why is that?)
Recommendations
Cited In (33)
- Unsettling preferential semantics
- On the complexity of input/output logic
- Two adaptive logics of norm-propositions
- Making norms and following norms
- A Lewisian taxonomy for deontic logic
- Reified input/output logic: combining input/output logic and reification to represent norms coming from existing legislation
- Equivalence of defeasible normative systems
- Stratification of normative systems with intermediaries
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
- Goal-directed decision procedures for input/output logics
- Intermediaries and intervenients in normative systems
- Subordination algebras as semantic environment of input/output logic
- Interaction in normative multi-agent systems
- Normative Consequence: The Problem of Keeping It Whilst Giving It up
- Variable priorities and exclusionary reasons in input/output logic
- Title not available (Why is that?)
- The logic of reusable propositional output with the fulfilment constraint
- A concept approach to input/output logic
- Adaptive logic characterizations of input/output logic
- Constraints for input/output logics
- A theory of permission based on the notion of derogation
- Combining constitutive and regulative norms in input/output logic
- Abstract interfaces of input/output logic
- Intuitionistic basis for input/output logic
- How to build input/output logic
- Normative systems represented as hybrid knowledge bases
- Permission from an input/output perspective
- Input/output logics
- Proof theory, semantics and algebra for normative systems
- Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter
- A tableaux calculus for default intuitionistic logic
- Moral Particularism and Deontic Logic
- Contrary-to-duty reasoning: a categorical approach
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4440545)
