Permission from an input/output perspective

DOI10.1023/A:1024806529939zbMath1028.03017OpenAlexW2006112194MaRDI QIDQ1402584

Leendert van der Torre, David Makinson

Publication date: 28 August 2003

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1024806529939

zbMATH Keywords

conditional normsdeontic logicconditional permissioninput/output logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (23)

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ An inconsistency-adaptive deontic logic for normative conflicts ⋮ From input/output logics to conditional logics via sequents -- with provers ⋮ Boolean Game with Prioritized Norms ⋮ On the Complexity of Input/Output Logic ⋮ Adaptive logic characterizations of input/output logic ⋮ Unnamed Item ⋮ On the complexity of input/output logic ⋮ Subordination algebras as semantic environment of input/output logic ⋮ AGM contraction and revision of rules ⋮ Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking ⋮ Normative Consequence: The Problem of Keeping It Whilst Giving It up ⋮ Computing strong and weak permissions in defeasible logic ⋮ Two adaptive logics of norm-propositions ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base ⋮ A Multi-agent Default Theory of Permission ⋮ Open Reading and Free Choice Permission: A Perspective in Substructural Logics ⋮ Unsettling preferential semantics ⋮ A Lewisian taxonomy for deontic logic ⋮ A theory of permission based on the notion of derogation ⋮ Arguing about constitutive and regulative norms ⋮ Contrary-to-duty reasoning: a categorical approach

Cites Work

• Input/output logics
• Constraints for input/output logics
• Unnamed Item
• Unnamed Item

This page was built for publication: Permission from an input/output perspective