Abstract

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 twodimensional conformal field theory.