About FOCL
FOCL (First-Order Coalition Logic) is a powerful logic framework that combines coalition logic and strategy logic with first-order quantification over actions. It enables precise reasoning about what groups of agents can achieve using specific strategies. Introduced in 2025, it’s the first to offer a complete axiomatization for this type of logic.