{"id":"arxiv/2610.24466","url":"https://arxiv.org/abs/2610.24466","tags":["cs.LO","math.LO"],"score":0,"title":"The Lattice of Coalition Logics between MCL and CL: Coatoms and Compact Meets","domain":"cs.LO","source":"arxiv","authors":["Shanxia Wang","Yuqiang Dou"],"reviews":0,"subject":"cs.LO","summary":"For a fixed finite set $N$ of at least two agents, we investigate the lattice $L_N$ of coalition logics between minimal coalition logic (MCL) and classical coalition logic (CL), with extensions required to be structural. This lattice is order-dual to an interval in the subvariety lattice of Boolean coalition algebras. The eight basic extensions obtained by imposing seriality, independence of agents, and determinism form a Boolean cube under inclusion, but not a sublattice of $L_N$. Our main results concern coatoms and compact meets. First, finite critical coalition algebras, realized as…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-17","reactions":{}}