{"id":"arxiv/2604.27917","url":"https://arxiv.org/abs/2604.27917","tags":["cs.LO","math.LO"],"score":0,"title":"A Logic of Inability","domain":"cs.LO","source":"arxiv","authors":["Shanxia Wang"],"reviews":0,"subject":"cs.LO","summary":"Coalition Logic is primarily concerned with what coalitions can achieve, whereas what coalitions cannot achieve -- their \\emph{inability} -- has received comparatively little explicit attention. This asymmetry matters in artificial intelligence and safety-critical multi-agent systems, where one often needs to specify not merely what agents are instructed or disposed not to do, but what they are \\emph{unable} to bring about. We develop a conservative extension of Coalition Logic with an explicit inability operator, interpreted as the negation of coalition ability. This operator is introduced…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-30","reactions":{}}