scientific article; zbMATH DE number 3831894
From MaRDI portal
Publication:3039305
zbMATH Open0525.03001MaRDI QIDQ3039305FDOQ3039305
Carlos E. Alchourrón, David Makinson
Publication date: 1982
Title of this publication is not available (Why is that?)
theory contractionphilosophy of sciencetheory revisionlogic of theory changelogical consequence operationWissenschaftstheorie
Cited In (50)
- Knowledge-level analysis of belief base operations
- Multiple and iterated contraction reduced to single-step single-sentence contraction
- Iterated descriptor revision and the logic of Ramsey test conditionals
- A sphere world semantics for default reasoning
- Possible worlds semantics for partial meet multiple contraction
- Notes on the history of ideas behind AGM
- Compromised updates in labelled databases
- A monoselective presentation of AGM revision
- Editor's introduction to the special issue on belief revision
- New foundations for a relational theory of theory-revision
- Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches
- Finite contractions on infinite belief sets
- Levi and Harper identities for non-prioritized belief base change
- On the logic of theory change: safe contraction
- Nonmonotonic inference based on expectations
- A consistency-based approach for belief change
- A quantitative approach to belief revision in structured probabilistic argumentation
- Maps between some different kinds of contraction function: the finite case
- Maximal and perimaximal contraction
- Reversing the Levi identity
- Foundational belief change
- Title not available (Why is that?)
- On probabilistic representation of non-probabilistic belief revision
- Levi contractions and AGM contractions: A comparison
- Severe withdrawal (and recovery)
- A test battery for rational database updating
- Revising system specifications in temporal logic
- Belief revision and computational argumentation: a critical comparison
- Reconstruction of contraction operators
- On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
- Repertoire contraction
- Eradication
- Specified meet contraction
- Iterated belief revision, revised
- A model of minimal probabilistic belief revision
- Constraints for input/output logics
- Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
- On AGM for non-classical logics
- Partial monotonicity and a new version of the Ramsey test
- Systematic withdrawal
- Trust is all you need: from belief revision to information revision
- Revision algebra semantics for conditional logic
- Semi-contraction: Axioms and construction
- Blockage contraction
- Information functions with applications
- Knowledge, Belief and Counterfactual Reasoning in Games
- Bootstrap contraction
- Believability relations for select-direct sentential revision
- The Procedures for Belief Revision
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3039305)
