TY - RPRT TI - Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory AU - Masanao Ozawa PY - 2023 DO - 10.4204/eptcs.394.1 UR - https://arxiv.org/abs/2311.09268 ID - 2311.09268 ER -