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