 He regards this as analogous to the way that special relativity modifies the kinematics of Newtonian mechanics.The Gleason and Kochen–Specker theorems have been cited in support of various philosophies, including perspectivism, constructive empiricism and agential realism.Gleason's theorem finds application in quantum logic, which makes heavy use of lattice theory.