System of Spheres-based Multiple Contractions

We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.

[1]  Eduardo L. Fermé,et al.  Possible Worlds Semantics for Partial Meet Multiple Contraction , 2011, Journal of Philosophical Logic.

[2]  Wolfgang Spohn.  Multiple contraction revisited , 2009 .

[3]  André Fuhrmann,et al.  Theory contraction through base contraction , 1991, J. Philos. Log..

[4]  Miklós Rédei,et al.  EPSA epistemology and methodology of science , 2010 .

[5]  Sven Ove Hansson,et al.  New operators for theory change , 2008 .

[6]  Mariano Méndez.  Belief revision by sets of sentences , 1996 .

[7]  Norman Y. Foo,et al.  Infinitary Belief Revision , 2001, J. Philos. Log..

[8]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[9]  Sven Ove Hansson,et al.  A Textbook Of Belief Dynamics , 1999 .

[10]  Risto Hilpinen.  New studies in deontic logic : norms, actions, and the foundations of ethics , 1981 .

[11]  Sven Ove Hansson,et al.  A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.

[12]  Eduardo L. Fermé,et al.  Multiple Kernel Contraction , 2003, Stud Logica.

[13]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[14]  André Fuhrmann,et al.  A survey of multiple contractions , 1994, J. Log. Lang. Inf..

[15]  Sven Ove Hansson,et al.  A survey of multiple contraction , 1994 .

[16]  André Fuhrmann,et al.  Relevant logics, modal logics and theory change , 1988 .

[17]  Carlos E. Alchourrón,et al.  Hierarchies of Regulations and their Logic , 1981 .