LILaC
- paper abstract
Proof-theoretic properties of logics of individual and group agency
Herzig, Andreas and Schwarzentruber, François
Abstract:
Paper (PDF)
https://www.irit.fr/~Andreas.Herzig