Adaptively applying modus ponens in conditional logics of normality

DOI10.1080/11663081.2012.682450MaRDI QIDQ4583150zbMATH OpenOpenAlexFDO

Authors Christian Straßer

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

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

zbMATH Keywords

adaptive logicconditional logicconditional logics of normalitydefault logicdefeasible detachmentdefeasible modus ponensdefeasible reasoning

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Other nonclassical logic (03B60)

Recommendations

• Conditional logics of normality: A modal approach
• Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
• scientific article; zbMATH DE number 1269577
• Adaptive logic as a modal logic
• A modal logic of defeasible reasoning

Cites work

• \({\mathcal{ALC}}+T\): a preferential extension of description logics
• A conditional constructive logic for access control and its sequent calculus
• A deontic logic framework allowing for factual detachment
• A logic for default reasoning
• A Modal Deconstruction of Access Control Logics
• A nonmonotonic extension of KLM preferential logic P
• A universal logic approach to adaptive logics
• An adaptive logic for rational closure
• An approach to default reasoning based on a first-order conditional logic: Revised report
• An argument-based approach to reasoning with specificity
• Analytic Tableau Calculi for KLM Rational Logic R
• Another perspective on default reasoning
• Basic conditional logic
• Belief revision, conditional logic and nonmonotonic reasoning
• Circumscription - a form of non-monotonic reasoning
• Conditional entailment: bridging two approaches to default reasoning.
• Conditional logics of normality: A modal approach
• Counterfactuals.
• Default extensions: Dealing with computer information
• Deontic Logic in Computer Science
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
• scientific article; zbMATH DE number 4152345 (Why is no real title available?)
• scientific article; zbMATH DE number 4166901 (Why is no real title available?)
• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• scientific article; zbMATH DE number 67496 (Why is no real title available?)
• scientific article; zbMATH DE number 140400 (Why is no real title available?)
• scientific article; zbMATH DE number 3641411 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 611091 (Why is no real title available?)
• scientific article; zbMATH DE number 1937274 (Why is no real title available?)
• scientific article; zbMATH DE number 6174932 (Why is no real title available?)
• Labelled Natural Deduction for Conditional Logics of Normality
• Nonmonotonic reasoning, preferential models and cumulative logics
• On a rule-based interpretation of default conditionals
• On the transparency of defeasible logics: equivalent premise sets, equivalence of their extensions, and maximality of the lower limit
• Optimal tableaux for conditional logics with cautious monotonicity
• Plausibility measures and default reasoning
• Reasoning about Typicality in Preferential Description Logics
• Skepticism and floating conclusions
• The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
• The lexicographic closure as a revision process
• The logic of conditionals. An application of probability to deductive logic
• Unifying default reasoning and belief revision in a modal framework
• What does a conditional knowledge base entail?

Cited in

(3)

• Conditional logics of normality: A modal approach
• A conditional logic for abduction
• Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning

Describes a project that uses

Uses Software

• CoLoSS

This page was built for publication: Adaptively applying modus ponens in conditional logics of normality

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