The AGM theory and inconsistent belief change

Logique et Analyse

Volumn 48, Issue 189-192, 2005, Pages 113-150

  Tanaka, Koji ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35948981247     PISSN: 00245836     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (35)

1. Alchourron, G., P. Gärdenfors and D. Makinson (1985) 'On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision', Journal of Symbolic Logic, Vol. 50, pp. 510-30
2. Anderson, A.R. and N.D. Belnap Jr. (1975) Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton
3. Chopra, S. and R. Parikh (2000) 'Relevance Sensitive Belief Structures', Annals of Mathematics and Artificial Intelligence, Vol. 28, pp. 259-285
4. da Costa, N.C.A. (1974) 'On the theory of Inconsistent Formal Systems', Notre Dame Journal of Formal Logic, Vol. XV, pp. 497-510
5. n', Notre Dame Journal of Formal Logic, Vol. XVIII, pp. 621-30
6. da Costa, N.C.A. and L. Dubikajtis (1977) 'On Jaśkowski's Discussive Logic', Non-Classical Logics, Modal Theory and Computability, A.I. Arruda, N.C.A. da Costa and R. Chuaqui (eds.), North-Holland Publishing Company, Amsterdam, pp. 37-56
7. Fuhrmann, A. (1991) 'Theory Contraction Through Base Contraction', Journal of Philosophical Logic, Vol. 20, pp. 175-203
8. Gärdenfors, P. (1988) Knowledge in Flux: Modelling the Dynamics of Epistemic States, MIT Press, Cambridge, MA
9. Grove, A. (1988) 'Two Modellings for Theory Change', Journal of Philosophical Logic, Vol. 17, pp. 157-70
10. Hansson, S.O. (1989) 'New Operators for Theory Change', Theoria, Vol. 55, pp. 114-132
11. Hansson, S.O. (1992) 'Reversing the Levi Identity', Journal of Philosophical logic, Vol. 22, pp. 637-39
12. Hansson, S.O. and R. Wassermann (2002) 'Local Change', Studio Logica, Vol. 70, pp. 49-76
13. Jaskowski, S. (1969) 'Prepositional Calculus for Contradictory Deductive Systems', Studio Logica, Vol. XXIV, pp. 143-57
14. first appeared as 'Rachunek zdah dla systemów dedukcyjnych sprzecznych', Studia Societatis Scientiarun Torunesis, Sectio A, Vol. I, No. 5, pp. 55-77, 1948
15. Lewis, D. (1973) Counterfactuals, Blackwell Publishers, Oxford
16. Lewis, D. (1982) 'Logic for Equivocators', Noûs, Vol. 16, pp. 431-441
17. Loparić, A., (1977) 'Une étude sémantique de quelques calculs propositionnels', Comptes Rendus Hebdomadeives des séances de l'Académic des Sciences, Paris 284, pp. 835-8
18. Makinson, D. (1987) 'On the Status of the Postulate of Recovery in the Logic of Theory Change', Journal of Philosophical Logic, Vol. 16 pp.383-394
19. Nebel, B. (1992) 'Syntax-based Approaches to Belief Revision', Belief Revision, P. Gärdenfors (ed.), Cambridge University Press, Cambridge, pp. 52-88
20. Priest, G. (1987) In Contradiction, Martinus Nijhoff Publishers, Dordrecht
21. Priest, G. (2001) 'Paraconsistent Belief Revision', Theoria, Vol. 67, pp. 214-28
22. Priest, G. (2002) 'Paraconsistent Logic', Handbook of Philosophical Logic (Second Edition), Vol. 6, D.M. Gabbay and F. Guenthner (eds.), Kluwer Academic Publishers, Dordrecht, pp. 287-393
23. Priest, G. and R. Routley (1989) 'Systems of Paraconsistent Logic', Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. routley and J. Norman (eds.), Philosophia Verlag, München, pp. 151-86
24. Priest, G., T.J. Surendonk and K. Tanaka (1996) 'An Error in Grove's Proof, Technical Report: TR-ARP-07-96, Automated Reasoning Project, Australian National University
25. Priest, G. and R. Sylvan (1992) 'Simplified Semantics for Basic Relevant Logics', Journal of Philosophical Logic, Vol. 21, pp. 217-32
26. Priest, G. and K. Tanaka (1997) 'On an Error in Grove's Proof, Logique & Analyse, Vol. 158, pp. 215-217
27. Priest, G. and K. Tanaka (2004) 'Paraconsistent Logic', Stanford Encyclopedia of Philosophy (Winter 2004 Edition), E.N. Zalta (ed.), Stanford University, Stanford
28. Rescher, N. and R. Brandom (1980) The Logic of Inconsistency, Basil Blackwell, Oxford
29. Rescher, N. and R. Manor (1970) 'On Inference from Inconsistent Premises', Theory and Decision, Vol. 1, pp. 179-217
30. Restall, G. (1993) 'Simplified Semantics for Relevant Logics (and some of their rivals)', Journal of Philosophical Logic, Vol. 22, pp. 481-511
31. Restall, G. and J. Slaney (1995) 'Realistic Belief Revision', Proceedings of the Second World Conference on Foundations of Artificial Intelligence, pp. 367-378
32. Rott, H. (2001) Change, Choice and Inference, Oxford University Press, Oxford
33. Schotch, P.K. and R.E. Jennings (1980) 'Inference and Necessity', Journal of Philosophical Logic, Vol. 9, pp. 327-40
34. Tanaka, K. (1998) 'What Does Paraconsistency Do? The Case of Belief Revision', The Logica Yearbook, T. Childers (ed.), Filosofia, Praha, pp. 188-97
35. Wassermann, R. (2003) 'Generalized Change and the Meaning of Rationality Postulates', Studio Logica, Vol. 73, pp. 299-319