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