TY - RPRT TI - Many-Valued Modal Logic AU - Amir Karniel AU - Michael Kaminski PY - 2024 DO - 10.4204/eptcs.415.13 UR - https://arxiv.org/abs/2501.00489 ID - 2501.00489 ER -