A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
A powerful syntactic theory as well as expressive modal logics have to deal with self-referentiality. Self-referentiality and paradoxes seem to be close neighbours and depending on the logical system, they have devastating consequences, since they introduce contradictions and trivialise the logical system. There is a large amount of di erent attempts to tackle these problems. Some of them are compared in this paper, futhermore a simple approach based on a three-valued logic is advocated. Indoi:10.1007/3-540-49545-2_23 fatcat:ahvygm4zajb3jdppbq7lpcfrti