3 papers
cs.LO2026
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…
cs.LO2026
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…
cs.LO2026
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…