Tableau-based decision procedures for logics of strategic ability in multi-agent systems

Open in new window