Adaptively applying modus ponens in conditional logics of normality

DOI10.1080/11663081.2012.682450zbMath1398.03146MaRDI QIDQ4583150

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

default logic; conditional logic; adaptive logic; defeasible reasoning; conditional logics of normality; defeasible modus ponens; defeasible detachment

Mathematics Subject Classification ID

03B60: Other nonclassical logic

03B53: Paraconsistent logics

Related Items

A conditional logic for abduction

Uses Software

• CoLoSS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A deontic logic framework allowing for factual detachment
• A universal logic approach to adaptive logics
• Conditional entailment: bridging two approaches to default reasoning.
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
• What does a conditional knowledge base entail?
• Basic conditional logic
• The logic of conditionals. An application of probability to deductive logic
• Unifying default reasoning and belief revision in a modal framework
• Conditional logics of normality: A modal approach
• Default extensions: Dealing with computer information
• Belief revision, conditional logic and nonmonotonic reasoning
• Another perspective on default reasoning
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• On a rule-based interpretation of default conditionals
• Optimal Tableaux for Conditional Logics with Cautious Monotonicity
• A Conditional Constructive Logic for Access Control and Its Sequent Calculus
• ALC + T: a Preferential Extension of Description Logics
• Reasoning about Typicality in Preferential Description Logics
• Analytic Tableau Calculi for KLM Rational Logic R
• The lexicographic closure as a revision process
• Labelled Natural Deduction for Conditional Logics of Normality
• A Nonmonotonic Extension of KLM Preferential Logic P
• General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
• Plausibility measures and default reasoning
• A Modal Deconstruction of Access Control Logics
• Deontic Logic in Computer Science
• An argument-based approach to reasoning with specificity
• Skepticism and floating conclusions