System of Spheres-based Multiple Contractions

On the logic of theory change: Partial meet contraction and revision functions

Carlos E. Alchourrón, Peter Gärdenfors, David Makinson · Journal of Symbolic Logic · 1985 · 3.2K citations

Engineering, Contraction Functions, Automated Reasoning +13

Two modellings for theory change

Adam J. Grove · Journal of Philosophical Logic · 1988 · 680 citations

Theories Of Change, Modeling Method, Model Theory +3

Theory contraction through base contraction

Andr� Fuhrmann · Journal of Philosophical Logic · 1991 · 224 citations

Theoretical Mathematics, Theory Contraction, Theoretical Analysis +2

A survey of multiple contractions

André Fuhrmann, Sven Ove Hansson · Journal of Logic Language and Information · 1994 · 126 citations

Multiple Contractions, Combinatorics On Word, Mathematical Modelling +1

New operators for theory change

Sven-Ove Hansson · Theoria · 1989 · 124 citations

Spectral Theory, Linear Operator, Engineering +4