Constraints for input/output logics

DOI10.1023/A:1017599526096zbMath0993.03039OpenAlexW1965324703MaRDI QIDQ5935791

Leendert van der Torre, David Makinson

Publication date: 26 June 2001

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

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

zbMATH Keywords

nonmonotonic logicconditional normsconsistency constraintscontrary-to-duty obligationsdefault logicdeontic logicinput/output logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items (27)

New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers* ⋮ Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ Violation games: a new foundation for deontic logic ★ ⋮ On the Complexity of Input/Output Logic ⋮ Adaptive logic characterizations of input/output logic ⋮ Normative positions within an algebraic approach to normative systems ⋮ Modelling phenomena and dynamic logic of phenomena ⋮ Equivalence of defeasible normative systems ⋮ Unnamed Item ⋮ On the complexity of input/output logic ⋮ A logic of argumentation for specification and verification of abstract argumentation frameworks ⋮ A concept approach to input/output logic ⋮ A postulate-driven study of logical argumentation ⋮ Permission from an input/output perspective ⋮ Subordination algebras as semantic environment of input/output logic ⋮ AGM contraction and revision of rules ⋮ Normative Consequence: The Problem of Keeping It Whilst Giving It up ⋮ Two adaptive logics of norm-propositions ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Substantive and procedural norms in normative multiagent systems ⋮ Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base ⋮ Unsettling preferential semantics ⋮ A theory of permission based on the notion of derogation ⋮ Arguing about constitutive and regulative norms ⋮ Realistic desires ⋮ Remedial interchange, contrary-to-duty obligation and commutation ⋮ Contrary-to-duty reasoning: a categorical approach

Cites Work

• A logical framework for default reasoning
• A logic for default reasoning
• Input/output logics
• Contrary-to-duty reasoning with preference-based dyadic obligations
• On the logic of theory change: Partial meet contraction and revision functions
• An Analysis of some Deontic Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constraints for input/output logics