{"id":"arxiv/2605.04452","url":"https://arxiv.org/abs/2605.04452","tags":["cs.LO","math.LO"],"score":0,"title":"Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability","domain":"cs.LO","source":"arxiv","authors":["Shanxia Wang"],"reviews":0,"subject":"cs.LO","summary":"Coalition Logic studies what coalitions can enforce. Recent work treats inability as simple non-ability: $\\neg\\Eff{C}\\varphi$. This conflates two distinct configurations -- a coalition unable to force $\\varphi$ may still force $\\neg\\varphi$, retaining adversarial control rather than genuine inability. We introduce \\textbf{Full Inability} ($\\FI$): the symmetric condition in which a coalition can enforce neither a proposition nor its negation. Combining coalitional effectivity with propositional negation yields a four-fold spectrum: \\textbf{Full Control} ($\\FC$), \\textbf{Positive…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-06","reactions":{}}