Una lógica epistémica para intervalos temporales
by Josep Maria Font
In: C. Martín Vide (ed.): Lenguajes Naturales y Lenguajes Formales, X (P.P.U., Barcelona, 1994) 671--678
Abstract
In this paper we motivate the introduction of a six-valued logic corresponding
to the six possible patterns of change of the system's knowledge about the
(three-valued) truth values of statements due to the changes in the
ressources available to it during a fixed time interval. Ordering these
values under their ``degree of truth'' gives raise to a logic which, by
algebraic arguments related to De Morgan algebras, has been shown to be equal to the well-known Belnap's four-valued logic.