6 papers
The Lattice of Coalition Logics between MCL and CL: Coatoms and Compact Meets
Shanxia Wang, Yuqiang Dou
For a fixed finite set of at least two agents, we investigate the lattice of coalition logics between minimal coalition logic (MCL) and classical coalition logic (CL), wi…
Value Coalition Logic: A Typed Assignment-Based Reconstruction of Coalition Logic
Shanxia Wang
We introduce Value Coalition Logic, a typed assignment-based reconstruction of classical coalition logic. The strategic semantics is unchanged: coalitional ability is still interpr…
Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
Shanxia Wang
Coalition Logic studies what coalitions can enforce. Recent work treats inability as simple non-ability: $\neg\Eff{C}φ$. This conflates two distinct configurations -- a coalition u…
A Logic of Inability
Shanxia Wang
Coalition Logic is primarily concerned with what coalitions can achieve, whereas what coalitions cannot achieve -- their \emph{inability} -- has received comparatively little expli…
A Logic of Secrecy on Simplicial Models
Shanxia Wang
We develop a logic of secrecy on simplicial models for multi-agent systems. Standard simplicial models provide a geometric semantics for knowledge by representing global states as…
A Dual-Threshold Probabilistic Knowing Value Logic
Shanxia Wang
We introduce a dual-threshold probabilistic knowing value logic for uncertain multi-agent settings. The framework captures within a single formalism both probabilistic-threshold at…