A FORMALIZATION OF VIEWPOINTS

Abstract
We present a formalisation for the notion of viewpoint, a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus with its own metalanguage, an axiomati