Context-Dependent Logic

This paper introduces a logical framework which reflects the contextuality and uncertainty of measurements in a semi-realistic way. By using an infinite tower of lightcones as a model of this system, we are able to prove new results about measuring devices and rigorously define the notion of a ``good measuring device." This framework builds upon previous works by physically interpreting the logic presented here and extending it to a generalized two-dimensional conformal field theory.