Revision is a method to deal with non-monotonic processes. It has been used in theory of truth as an answer to semantic paradoxes such as the liar, but the idea is universal and resurfaces in many areas of logic and applications of logic.
In this survey, we describe the general idea in the framework of pointer semantics and point out that beyond the formal semantics given by Gupta and Belnap, the process of revision itself and its behaviour may be the central features that allow us to model our intuitions about truth, and is applicable to a lot of other areas like belief, rationality, and many more.
Unable to display preview. Download preview PDF.
- [Bo02]Bolander, T.: Self-Reference and Logic. Phi News 1, 9–44 (2002)Google Scholar
- [Bo003]Bolander, T.: Logical Theories for Agent Introspection, PhD thesis, Technical University of Denmark (2003)Google Scholar
- [Bo1FrHa98]Boutilier, C., Friedman, N., Halpern, J.Y.: Belief revision with unreliable observations. In: Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI- 1998), Madison, Wisconsin, Menlo Park, July 26-30, pp. 127–134 (1998)Google Scholar
- [Ch03]Chapuis, A.: An application of circular definitions: Rational Decision, In: Löwe, B., Malzkorn, W., Räsch, T., (eds.), Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Rheinische Friedrich-Wilhelms-Universität Bonn, November 10-13, Dordrecht 2003 [Trends in Logic 17], pp. 47–54 (2000)Google Scholar
- [Ga088]Gaifman, H.: Operational Pointer Semantics: Solution to Self-referential Puzzles I. In: Vardi, M. (ed.) Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988, pp. 43–59. Morgan Kaufmann, San Francisco (1988)Google Scholar
- [Ga192]Galliers, J.R.: Autonomous belief revision and communication. In: [Gä92], pp. 220–246Google Scholar
- [Gä92]Gärdenfors, P. (ed.): Belief revision. Cambridge University Press, Cambridge (1992) (Cambridge Tracts in Theoretical Computer Science 29)Google Scholar
- [GuBe93]Gupta, A., Belnap, N.: The Revision Theory of Truth, Cambridge, MA (1993)Google Scholar
- [Li97]Liberatore, P.: The complexity of iterated belief revision. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 276–290. Springer, Heidelberg (1996)Google Scholar
- [Lö01]Löwe, B.: Revision sequences and computers with an infinite amount of time. Journal of Logic and Computation 11, pp. 25–40 (2001); also In: Wansing, H. (ed.), Essays on Non-Classical Logic, Singapore 2001 [Advances in Logic 1], pp. 37–59Google Scholar
- [Lö03]Löwe, B.: Determinacy for infinite games with more than two players with preferences. ILLC Publication Series PP-2003-19Google Scholar
- [We03b]Welch, P.D.: Ultimate Truth vis à vis stable truth (preprint) (November 7, 2003)Google Scholar