Adaptive logic characterizations of input/output logic
The paper reconstructs the input/output logics of the reviewer and \textit{L. van der Torre} [J. Philos. Log. 29, No. 4, 383--408 (2000; Zbl 0964.03002)] and subsequent papers) by expanding the object language to internalize part of the metalanguage. This is done by introducing suitable modal operators, which are then manipulated using techniques from adaptive logic (for which, see, e.g. the recent overview by \textit{C. Straßer} [Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning. Cham: Springer (2014; Zbl 1350.03003)]). It is felt that this brings certain benefits: it becomes possible to express concepts such as violation and sanction in the object language, which in turn suggests interesting variations on the original constraints on input/output functions.
- ``Sing and dance!. Input/output logics without weakening
- 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
- 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?)
- 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?
- Input/output logics
- On the complexity of input/output logic
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- The logic of reusable propositional output with the fulfilment constraint
- ``Sing and dance!. Input/output logics without weakening
- scientific article; zbMATH DE number 2019850 (Why is no real title available?)
- Intuitionistic basis for input/output logic
- Input/output logic with a consistency check -- the case of permission
- Subordination algebras as semantic environment of input/output logic
- Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)
- A concept approach to input/output logic
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)
