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

Add code
Sep 09, 2008

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: