Maps between some different kinds of contraction function: the finite case

DOI10.1007/BF00373274zbMath0619.03028OpenAlexW2001755427MaRDI QIDQ1089333

Carlos E. Alchourrón, David Makinson

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00373274

zbMATH Keywords

contraction of a theorypartial meet contractionssafe contractions

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logic with extra quantifiers and operators (03C80)

Related Items (5)

Belief contraction in the context of the general theory of rational choice ⋮ A theory of change for prioritised resilient and evolvable software systems ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ Belief Contraction in the Context of the General Theory of Rational Choice ⋮ Belief change as change in epistemic entrenchment

Cites Work

• On the logic of theory change: safe contraction
• On the logic of theory change: Partial meet contraction and revision functions
• Unnamed Item

This page was built for publication: Maps between some different kinds of contraction function: the finite case