Conditional logics of normality: A modal approach
From MaRDI portal
Recommendations
- Adaptively applying modus ponens in conditional logics of normality
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- scientific article; zbMATH DE number 475184
- Normal derivability in modal logic
- Modal sequents for normal modal logics
- Normal predicative logics with graded modalities
- scientific article; zbMATH DE number 1973866
- Conditional normative reasoning with substructural logics
- A modal logic internalizing normal proofs
- scientific article; zbMATH DE number 4202236
Cites work
- A first-order conditional logic for prototypical properties
- A logic for default reasoning
- A logic to reason about likelihood
- A logical framework for default reasoning
- All I know: A study in autoepistemic logic
- An approach to default reasoning based on a first-order conditional logic: Revised report
- Basic conditional logic
- Circumscription - a form of non-monotonic reasoning
- Conditional entailment: bridging two approaches to default reasoning.
- Counterfactuals
- Counterfactuals.
- Erratum to: ``What does a conditional knowledge base entail?
- scientific article; zbMATH DE number 4014675 (Why is no real title available?)
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- scientific article; zbMATH DE number 4152345 (Why is no real title available?)
- scientific article; zbMATH DE number 4166925 (Why is no real title available?)
- scientific article; zbMATH DE number 4166940 (Why is no real title available?)
- scientific article; zbMATH DE number 3930376 (Why is no real title available?)
- scientific article; zbMATH DE number 4104920 (Why is no real title available?)
- scientific article; zbMATH DE number 3659568 (Why is no real title available?)
- scientific article; zbMATH DE number 3708349 (Why is no real title available?)
- scientific article; zbMATH DE number 43242 (Why is no real title available?)
- scientific article; zbMATH DE number 67491 (Why is no real title available?)
- scientific article; zbMATH DE number 67495 (Why is no real title available?)
- scientific article; zbMATH DE number 97787 (Why is no real title available?)
- scientific article; zbMATH DE number 140400 (Why is no real title available?)
- scientific article; zbMATH DE number 582867 (Why is no real title available?)
- Inaccessible worlds
- Key notions of Tarski's methodology of deductive systems
- Modal logics with linear alternative relations
- Nonmonotonic inference based on expectations
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the consistency of defeasible databases
- On the size of refutation Kripke models for some linear modal and tense logics
- Semantical considerations on nonmonotonic logic
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
- The logic of conditional obligation. Comments by Harry Beatty
- The logic of conditionals. An application of probability to deductive logic
- Unifying default reasoning and belief revision in a modal framework
Cited in
(75)- An approach to default reasoning based on a first-order conditional logic: Revised report
- A first-order conditional logic for prototypical properties
- On first-order conditional logics
- Modal logics for qualitative possibility theory
- Unifying default reasoning and belief revision in a modal framework
- Modeling belief in dynamic systems. I: Foundations
- System JLZ -- rational default reasoning by minimal ranking constructions.
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Preferential accessibility and preferred worlds
- Abduction as belief revision
- An information-based theory of conditionals
- Normal conditions for inference relations and injective models
- On the revision of probabilistic belief states
- Embedding and automating conditional logics in classical higher-order logic
- Constrained consequence
- Unsettling preferential semantics
- Dynamic preference logic meets iterated belief change: representation results and postulates characterization
- Reasoning about general preference relations
- A logic for desire based on causal inference
- Abduction to plausible causes: an event-based model of belief update
- Dynamic epistemic logic for implicit and explicit beliefs
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- On rational entailment for propositional typicality logic
- Similarity between preferential models
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- On a rule-based interpretation of default conditionals
- Implication with possible exceptions
- Introducing role defeasibility in description logics
- Some remarks on the model theory of epistemic plausibility models
- Nested sequent calculi for conditional logics
- PTL: a propositional typicality logic
- A Minimal Model Semantics for Nonmonotonic Reasoning
- Making the right exceptions
- Adaptive logic characterizations of input/output logic
- In all, but finitely many, possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- A standard internal calculus for Lewis' counterfactual logics
- Belief fusion and revision: an overview based on epistemic logic semantics
- Dynamic logic for belief revision
- Dynamic logic of preference upgrade
- Adaptive logic as a modal logic
- Parallel belief revision: revising by sets of formulas
- scientific article; zbMATH DE number 1241665 (Why is no real title available?)
- scientific article; zbMATH DE number 1269577 (Why is no real title available?)
- scientific article; zbMATH DE number 1163923 (Why is no real title available?)
- scientific article; zbMATH DE number 1973866 (Why is no real title available?)
- Adaptively applying modus ponens in conditional logics of normality
- Plausible reasoning: a first-order approach
- What's in a default? Thoughts on the nature and role of defaults in nonmonotonic reasoning
- Two logical faces of belief revision
- Normative reasoning and consequence
- A modal logic of defeasible reasoning
- scientific article; zbMATH DE number 7599931 (Why is no real title available?)
- PRIORITY MERGE AND INTERSECTION MODALITIES
- A sphere world semantics for default reasoning
- A game semantics for system P
- From KLM-style conditionals to defeasible modalities, and back
- A reconstruction of default conditionals within epistemic logic
- A two-level perspective on preference
- A deontic logic framework allowing for factual detachment
- Conditionals, Information, and Inference
- Some contributions to nonmonotonic consequence
- Defeasible linear temporal logic
- Situated conditional reasoning
- A logic for preference lifting under uncertainty and its decidability
- A logic of trust-based beliefs
- Egocentric doxastic logic
- Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
- Nonmonotonic inferences: classical conclusions in an intuitionistic modal framework
- Conjunctive normal forms and weak modal logics without the axiom of necessity
- Semantics for dual preferential entailment
- Some embedding theorems for conditional logic
- Ceteris paribus conditionals and comparative normalcy
- Semantic characterization of rational closure: from propositional logic to description logics
- Von Wright's ``The logic of preference revisited
This page was built for publication: Conditional logics of normality: A modal approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1330670)
