I am Richard H. McCullough. I studied theory of knowledge. I designed Knowledge Representation language. I implemented Knowledge Explorer tool. Context is all knowledge currently available.
Truth is a combination of experience and logic with no contradictions.
Possible worlds which contradict this world are not possible unless they involve men making choices. For the simplest case, the contexts are isomorphic. FCA Match attributes to determine lattice of all possible concepts. This new hierarchy is a new context. KR Concepts may be viewed as simple algebraic variables in the usual sense.