On the logic of theory change: safe contraction
From MaRDI portal
Publication:1084094
DOI10.1007/BF00370430zbMath0605.03002OpenAlexW2060533443MaRDI QIDQ1084094
Carlos E. Alchourrón, David Makinson
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370430
Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05)
Related Items
Two concepts of plausibility in default reasoning, Foundational belief change, Maps between some different kinds of contraction function: the finite case, On the status of the postulate of recovery in the logic of theory change, Shielded base contraction, On a rule-based interpretation of default conditionals, On the revision of probabilistic belief states, A temporal revision model for reasoning about world change, Maximal contractions in Boolean algebras, Knowledge base dynamics, abduction, and database updates, Bootstrap contraction, Merging operators on stratified belief bases equipped with argumentative inference, A theory of change for prioritised resilient and evolvable software systems, On the logic of iterated belief revision, Deductive belief change, JuDAS: a theory of rational belief revision, System of Spheres-based Two Level Credibility-limited Revisions, Stratified belief bases revision with argumentative inference, Rational metabolic revision based on core beliefs, Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results, Relations of epistemic proximity for belief change, Partial meet pseudo-contractions, Credibility-limited Base Revision: New Classes and Their Characterizations, On the revision of informant credibility orders, Belief contraction without recovery, Minimal change: relevance and recovery revisited, (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG, EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS, Rational evaluation in belief revision, Scientific discovery based on belief revision, Confluence operators and their relationships with revision, update and merging, Studies on brutal contraction and severe withdrawal, AGM 25 years. Twenty-five years of research in belief change, Revision algebra semantics for conditional logic, Choice revision, Back to basics: belief revision through direct selection, Multi-source multiple change on belief bases, Local Diagnosis, Preference-based belief revision for rule-based agents, Iterated belief revision, revised, Belief base contraction by belief accrual, Selective base revisions, Belief change as change in epistemic entrenchment, Residual contraction, Belief revision in the service of scientific discovery, A Panorama of Iterated Revision, On having bad contractions, or: no room for recovery, Five faces of minimality, A Plea for Accuracy, Systematic withdrawal, Contracting intuitionistic theories
Cites Work
