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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Löwe, B. (2006). Revision forever! In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4068 LNAI, pp. 22–36). Springer Verlag. https://doi.org/10.1007/11787181_3
Mendeley helps you to discover research relevant for your work.