TY - RPRT TI - A Basic Modal Logic for the Abstract Treatment of Quantum Mixed States AU - Tomoaki Kawano PY - 2026 DO - 10.4204/eptcs.455.4 UR - https://arxiv.org/abs/2610.40803 ID - 2610.40803 ER -