New operators for theory change
暂无分享,去创建一个
[1] D. Makinson. How to give it up: A survey of some formal aspects of the logic of theory change , 2004, Synthese.
[2] David Makinson,et al. Maps between some different kinds of contraction function: The finite case , 1986, Stud Logica.
[3] Peter Gärdenfors,et al. Epistemic importance and minimal changes of belief , 1984 .
[4] Krister Segerberg. On the Logic of Small Changes in Theories II , 1987 .
[5] Erik Stenius. Ross' paradox and well‐formed codices* , 2008 .
[6] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[7] Marvin Belzer. Normative kinematics (I): a solution to a problem about permission , 1985 .
[8] David Makinson,et al. On the logic of theory change: Safe contraction , 1985, Stud Logica.
[9] Peter Gärdenfors,et al. Propositional logic based on the dynamics of belief , 1985, Journal of Symbolic Logic.
[10] David Makinson,et al. On the logic of theory change: Contraction functions and their associated revision functions , 2008 .
[11] David Makinson,et al. On the status of the postulate of recovery in the logic of theory change , 1987, J. Philos. Log..
[12] Peter Gärdenfors. The dynamics of belief: Contractions and revisions of probability functions , 1986 .