TY - RPRT TI - Semantics for the minimal well-determined logic AU - Igor Gorbunov AU - Mikhail Rybakov PY - 2026 UR - https://arxiv.org/abs/2607.15664 ID - 2607.15664 ER -