Adaptive logic characterizations of input/output logic
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- scientific article; zbMATH DE number 1735919 (Why is no real title available?)
- scientific article; zbMATH DE number 2019850 (Why is no real title available?)
- scientific article; zbMATH DE number 2096993 (Why is no real title available?)
- scientific article; zbMATH DE number 6174932 (Why is no real title available?)
- scientific article; zbMATH DE number 2236618 (Why is no real title available?)
- A deontic logic framework allowing for factual detachment
- A logic for default reasoning
- A logic for prioritized normative reasoning
- A procedural criterion for final derivability in inconsistency-adaptive logics
- A theory of permission based on the notion of derogation
- A universal logic approach to adaptive logics
- Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
- An embedding of input-output logic in deontic logic programs
- An inconsistency-adaptive deontic logic for normative conflicts
- Avoiding Deontic Explosion by Contextually Restricting Aggregation
- Conditional logics of normality: A modal approach
- Conditionals: from philosophy to computer science
- Constraints for input/output logics
- Deontic logic (adapted) for normative conflicts
- Explanatory Nonmonotonic Reasoning
- Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
- Hierarchic adaptive logics
- Input/output logics
- Moral dilemmas and nonmonotonic logic
- Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
- Nonmonotonic reasoning, preferential models and cumulative logics
- Normative Consequence: The Problem of Keeping It Whilst Giving It up
- On inference from inconsistent premisses
- Permission from an input/output perspective
- Proof theories for superpositions of adaptive logics
- Skepticism and floating conclusions
- The dynamics of relevance: adaptive belief revision
- Tolerating deontic conflicts by adaptively restricting inheritance
- Towards a dialogic interpretation of dynamic proofs
- Two adaptive logics of norm-propositions
- What does a conditional knowledge base entail?
- Which style of reasoning to choose in the face of conflicting information?
- ``Sing and dance!. Input/output logics without weakening
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
- A concept approach to input/output logic
- The logic of reusable propositional output with the fulfilment constraint
- Intuitionistic basis for input/output logic
- ``Sing and dance!. Input/output logics without weakening
- Input/output logics
- scientific article; zbMATH DE number 2019850 (Why is no real title available?)
- Input/output logic with a consistency check -- the case of permission
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)
