Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions
暂无分享,去创建一个
[1] Peter Gärdenfors,et al. Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.
[2] Sven Ove Hansson,et al. A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.
[3] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[4] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..
[5] Reinhard Niederée. Multiple contraction. A further case against Gärdenfors' principle of recovery , 1989, The Logic of Theory Change.
[6] Peter Gärdenfors,et al. Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .
[7] Eduardo L. Fermé,et al. System of Spheres-based Multiple Contractions , 2011, J. Philos. Log..
[8] Eduardo L. Fermé,et al. EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS , 2013, The Review of Symbolic Logic.
[9] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .
[10] Sven Ove Hansson. Decomposition of multiple AGM contraction: possibility and impossibility results , 2014, Log. J. IGPL.
[11] Maurício D. Luís Reis,et al. On the interrelation between systems of spheres and epistemic entrenchment relations , 2014, Log. J. IGPL.
[12] André Fuhrmann,et al. A survey of multiple contractions , 1994, J. Log. Lang. Inf..
[13] Sven Ove Hansson,et al. New operators for theory change , 2008 .
[14] Sven Ove Hansson,et al. A survey of multiple contraction , 1994 .
[15] André Fuhrmann,et al. Relevant logics, modal logics and theory change , 1988 .
[16] Sven Ove Hansson,et al. A Textbook Of Belief Dynamics , 1999 .
[17] Mary-Anne Williams,et al. Constructive Modelings for Theory Change , 1995, Notre Dame J. Formal Log..