FOCL Coupons & Promo Codes
Refer A Friend & Get $30 Off
Sign Up & Get Special Offers
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.
Loading comments....