Adaptive logic characterizations of input/output logic

DOI10.1007/S11225-016-9656-1zbMATH Open1364.03034OpenAlexW2288669826MaRDI QIDQ332074FDOQ332074

Authors: 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

Recommendations

• Constraints for input/output logics
• The logic of reusable propositional output with the fulfilment constraint
• scientific article; zbMATH DE number 2019850
• Input/output logics
• How to build input/output logic

zbMATH Keywords

adaptive logicsinput/output logic

Mathematics Subject Classification ID

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

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• On inference from inconsistent premisses
• What does a conditional knowledge base entail?
• Towards a dialogic interpretation of dynamic proofs
• Title not available (Why is that?)
• A universal logic approach to adaptive logics
• Title not available (Why is that?)
• A logic for default reasoning
• Conditional logics of normality: A modal approach
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• Title not available (Why is that?)
• Skepticism and floating conclusions
• Title not available (Why is that?)
• Moral dilemmas and nonmonotonic logic
• 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
• Two adaptive logics of norm-propositions
• Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
• Conditionals: from philosophy to computer science
• Which style of reasoning to choose in the face of conflicting information?
• ``Sing and dance!. Input/output logics without weakening
• Hierarchic adaptive logics
• Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
• Proof theories for superpositions of adaptive logics
• An embedding of input-output logic in deontic logic programs
• Normative Consequence: The Problem of Keeping It Whilst Giving It up
• The dynamics of relevance: adaptive belief revision
• Title not available (Why is that?)
• Explanatory Nonmonotonic Reasoning
• Title not available (Why is that?)
• Tolerating deontic conflicts by adaptively restricting inheritance
• Avoiding Deontic Explosion by Contextually Restricting Aggregation
• Deontic logic (adapted) for normative conflicts
• A logic for prioritized normative reasoning
• A deontic logic framework allowing for factual detachment
• Constraints for input/output logics
• A theory of permission based on the notion of derogation

Cited In (10)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• On the complexity of input/output logic
• Subordination algebras as semantic environment of input/output logic
• Input/output logic with a consistency check -- the case of permission
• The logic of reusable propositional output with the fulfilment constraint
• Title not available (Why is that?)
• A concept approach to input/output logic
• Intuitionistic basis for input/output logic
• Input/output logics
• ``Sing and dance!. Input/output logics without weakening

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q332074)