TY - RPRT TI - The Varieties of Ought-Implies-Can and Deontic STIT Logic AU - Kees van Berkel AU - Tim S. Lyon PY - 2026 UR - https://arxiv.org/abs/2604.00967 ID - 2604.00967 ER -