5 papers
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…
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…