Adaptive logic characterizations of input/output logic

DOI10.1007/S11225-016-9656-1zbMath1364.03034OpenAlexW2288669826MaRDI QIDQ332074

Christian Straßer, Mathieu Beirlaen, Frederik Van De Putte

Publication date: 27 October 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://biblio.ugent.be/publication/8511801

zbMATH Keywords

input/output logicadaptive logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (3)

On the complexity of input/output logic ⋮ Subordination algebras as semantic environment of input/output logic ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dynamics of relevance: adaptive belief revision
• A deontic logic framework allowing for factual detachment
• A universal logic approach to adaptive logics
• A theory of permission based on the notion of derogation
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Moral dilemmas and nonmonotonic logic
• Conditional logics of normality: A modal approach
• Permission from an input/output perspective
• Input/output logics
• A procedural criterion for final derivability in inconsistency-adaptive logics
• An inconsistency-adaptive deontic logic for normative conflicts
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• Two adaptive logics of norm-propositions
• Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
• On inference from inconsistent premisses
• Which style of reasoning to choose in the face of conflicting information?
• “Sing and Dance!”
• Hierarchic adaptive logics
• Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
• An Embedding of Input-Output Logic in Deontic Logic Programs
• Normative Consequence: The Problem of Keeping It Whilst Giving It up
• Explanatory Nonmonotonic Reasoning
• Avoiding Deontic Explosion by Contextually Restricting Aggregation
• Deontic logic (adapted) for normative conflicts
• A Logic for prioritized normative reasoning
• Constraints for input/output logics
• Skepticism and floating conclusions

This page was built for publication: Adaptive logic characterizations of input/output logic