论文信息 - On the degeneracy of the full AGM-theory of theory-revision

On the degeneracy of the full AGM-theory of theory-revision

A general method is provided whereby bizarre revisions of consistent theories with respect to contingent sentences that they refute can be delivered by revision-functions satisfying both the basic and the supplementary postulates of the AGM -theory of theory-revision.

Neil Tennant

[1] Peter Gärdenfors,et al. Epistemic importance and minimal changes of belief , 1984 .

[2] David Makinson,et al. On the logic of theory change: Contraction functions and their associated revision functions , 2008 .

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

[4] David Makinson,et al. On the status of the postulate of recovery in the logic of theory change , 1987, J. Philos. Log..

[5] Neil Tennant. Contracting Intuitionistic Theories , 2005, Stud Logica.

[6] Neil Tennant. New Foundations for a Relational Theory of Theory-revision , 2006, J. Philos. Log..

[7] Mark Ryan,et al. Belief Revision and Ordered Theory Presentations , 1996, Logic, Action, and Information.

[8] Peter Gärdenfors,et al. Knowledge in Flux , 1988 .

[9] Note on an observation by Neil Tennant , 2005 .