TY - RPRT TI - Completeness of coalition logics with seriality, independence of agents, or determinism AU - Yinfeng Li AU - Fengkui Ju PY - 2025 UR - https://arxiv.org/abs/2409.14635 ID - 2409.14635 ER -